@charset "UTF-8";
/* css: main */
* {
font-size:12pt;
}
body {
color: #000000;
margin: 0;
padding: 0;
font-family: Verdana, sans-serif;
}
a {
color:#000000;
text-decoration:underline;
}
pre, code {
font-family:monospace;
}
#menu {
float: right;
padding: 7px;
margin: 7px;
width: 300px;
border: dashed 2px #FFBC2C;
background-color: #FFCF8C;
}
#menu ul {
margin: 0;
padding-left: 13px;
list-style-type: none;
}
#header {
background-image: url( /testingFIT/img/fit-100.gif );
background-repeat: no-repeat;
margin: 7px 0 14px 57px;
padding: 13px 0 0 147px;
height: 100px;
}
#header a {
text-decoration: none;
}
#footer {
margin: 23px 0 0 0;
padding: 3px 37px 0 37px;
background-color: #CCCCCC;
border-top: solid 2px #999999;
height: 23px;
}
#footer ul {
margin: 0;
list-style-type: none;
}
#footer ul li {
display: inline;
padding-right: 17px;
}
#content {
padding: 0 13px 0 13px;
border-top: solid 2px #999999;
min-height:450px;
}
/* css: highlight */
.hl-main {
font-family: monospace;
font-size:13px;
}
.hl-gutter {
background-color: #CCCCCC;
padding-right: 10px;
font-family: monospace;
font-size:13px;
}
.hl-table {
border: solid 1px #000000;
}
.hl-default {
color: #000000;
}
.hl-code {
color: #7f7f33;
}
.hl-brackets {
color: #009966;
}
.hl-comment {
color: #0E8107;
}
.hl-quotes {
color: #00007F;
}
.hl-string {
color: #7F0000;
}
.hl-identifier {
color: #000000;
}
.hl-reserved {
color: #7F007F;
}
.hl-inlinedoc {
color: #FF8E00;
}
.hl-var {
color: #0066FF;
}
.hl-url {
color: #FF0000;
}
.hl-special {
color: #0000FF;
font-weight: bold;
}
.hl-number {
color: #007F00;
}
.hl-inlinetags {
color: #FF0000;
}