blob: 1b1c812f97d8c052b3df4a31f58c17b2dfa1630c [file] [log] [blame]
body {
font-family: Arial, sans-serif;
font-style: normal;
font-size: 200%;
# color: #ffffff;
# background-color: #000000;
# background: url(logo.png)
}
body.splash {
font-size: 300%;
# background: url(logo.gif);
background-position: bottom center;
background-repeat: no-repeat;
}
A:link {
color: #2277ee;
}
A:visited {
color : #cc3300;
}
A:hover {
color : #000000 ;
background-color : #aaaaaa
}
LI {
margin-bottom: 0.5em;
}
#UL LI { list-style-image: url(bullet1.png) }
#UL UL LI { list-style-image: url(bullet2.png) }
LI LI { font-size: smaller }
h1 {
color: #0000aa;
text-align: center;
}
h1.splash {
color: #cc3300;
}
h2.splash {
color: #2277ee;
}
h3 {
font-family: Arial, sans-serif;
}
b {
font-weight: bold;
}
td {
font-size: 200%;
}
th {
font-size: 200%;
}
code {
color: #00aa00;
}
div.box {
font-size: smaller;
border-width: medium;
padding: 0.25em;
background-color: #dddddd;
}
pre {
font-weight: bold;
color: #ffffff;
background-color: #000000;
margin: 1em;
padding: 1em;
}
span.string {
color: #696969;
}
span.function-name {
color: #87cefa;
}
span.keyword {
color: #00ffff;
}
span.comment {
color: #ff7f24;
} /* font-lock-comment-face */
span.variable-name {
color: #228b22;
} /* font-lock-variable-name-face */
span.type {
color: #4682b4;
} /* font-lock-type-face */
span.builtin {
color: #b0c4de;
} /* font-lock-builtin-face */