blob: e5f028d8482dcff151248fcfa16645cc1453eb6e [file] [log] [blame]
body {
font-family: Arial, sans-serif;
font-style: normal;
color: #000000;
background-color: #FFFFFF;
}
p {
}
A:link { color: #cc3300 }
A:visited { color : #003399; }
A:hover {
color : #ffffff ;
background-color : #000000;
}
A:link, A:visited, A:active {
text-decoration: none;
}
h1 {
font-family: Arial, sans-serif;
background-color: #405871;
color: #cc3300;
}
h2 {
font-family: Arial, sans-serif;
}
h3 {
font-family: Arial, sans-serif;
}
b {
font-weight: bold;
}
td {
font-family: Arial, sans-serif;
color: #000000;
padding: 0.25em;
}
code {
color: #006600;
}
table.main {
width: 100%;
font-size: smaller;
}
/*
table.lists td {
font-size: smaller;
background-color: #aaaaaa;
padding: .5em;
}
table.lists th {
text-align: left;
font-size: smaller;
background-color: #aaaaff;
padding: .5em;
}
*/
table.nav {
}
table.nav td {
font-weight: bold;
padding: .3em;
}
li {
/* font-size: smaller; */
margin-bottom: 0.5em;
}
blockquote {
font-size: smaller;
font-style: italic;
}
pre.code {
padding: 1ex;
}
td.code {
background-color: black;
color: white;
border: solid white 1em;
}
span.type {
color: #4682b4;
} /* font-lock-type-face */
span.variable-name {
color: #228b22;
} /* font-lock-variable-name-face */
span.comment {
color: #ff7f24;
} /* font-lock-comment-face */
span.keyword {
color: #00ffff;
} /* font-lock-keyword-face */
span.function-name {
color: #87cefa;
} /* font-lock-function-name-face */