/* */
a {
color: gray;
font-family: "Lucida Grande", Helvetica, Arial;
text-decoration: none
}
h1 {
color: gray;
font-size: 20pt;
font-family: "Lucida Grande", Helvetica, Arial;
letter-spacing: -1pt;
padding-top: 20px
}
h2 {
color: gray;
font-size: 12pt;
font-family: "Lucida Grande", Helvetica, Arial;
padding-top: 8px
}
h3 {
color: gray;
font-weight: 300;
font-size: 9pt;
font-family: "Lucida Grande", Helvetica, Arial;
margin-bottom: -12px;
padding-left: 6px
}
h4 {
color: gray;
font-weight: 300;
font-size: 8pt;
font-family: "Lucida Grande", Helvetica, Arial;
margin-top: -4px
}
ul {
margin-left: -8px;
padding-top: 24px;
padding-bottom: 32px;
border-left: 1px solid gray
}
a:hover {
text-decoration: underline }
#contentleft {
float: left;
margin-top: 14px;
width: 235px
}
#contentcenter {
float: left;
margin-top: 10px;
padding: 0;
width: 30px
}
#contentright {
float: left;
margin-top: auto;
margin-bottom: auto;
width: 235px
}
#frame {
text-align: left;
margin-top: 10px;
margin-right: auto;
margin-left: auto;
width: 500px
}
element {
border-left: 1px solid gray
}
p, h1, pre {
margin: 0 10px 10px; }
.space {
margin-top: -10px
}
.space2 {
padding-top: 20px
}