legacy/style.css (79 lines of code) (raw):

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 */