/* body The document body, obviously. */ hr { height: 1px; color: gray; } body { color: #000000; background: white; margin-top: 0em; margin-left: auto; margin-right: auto; padding-left: 1em; padding-right: 1em; font-family: sans-serif; } #searchlinks { overflow: scroll; float: right; height: 90%; width: 25%; } p.searchlinks { font-size: small; float: right; clear: right; border: 1px black solid; padding: 2px; margin-right: 4px; margin-left: 1em; } td { vertical-align: top; } /* Headers */ /* I use

for the page title... */ h1 { font-size: 2em; font-weight: normal; color: #718c9d; text-align: left; margin-top: .1em; margin-bottom: 0em; padding: .1em; } h1 a:link { color: #006600; text-decoration: none; } h1 a:visited { color: #006600; } /*

for dates and document titles on entries ... */ h3 { clear: none; text-align: left; font-size: 1.25em; font-weight: normal; margin-top: .5em; margin-bottom: .5em; margin-left: 0em; } /* Block level elements */ pre { font-family: "courier", monospace; } /* List items: */ li { /* Make lists more legible. */ margin-bottom: .3em; } dl { margin-left: 2em; } /* Paragraph formatting. */ p { margin-bottom: 1em; text-indent: 0em; } p.centerpiece { text-align: center; clear: both; } p.left { float: left; clear: none; } p.right { float: right; clear: none; } /* Generalized link colors */ a:link { color: #3333FF; text-decoration: none; } a:visited { color: #003399; text-decoration: none; } a:active { color: #FF0000; text-decoration: underline; } a:hover { text-decoration: underline; } /* Wala link colors */ a.new { color: #AA0000; } a.external { color: #6666AA; } a strong { text-decoration: underline; } /* Other Stuff */ /* Quoting stuff */ blockquote { margin-left: 3em; margin-right: 3em; margin-bottom: 0.5em; } acronym:hover { color: green; } abbr:hover { color: green; } /* When text is inside overlapping and tags, do something weird. */ em strong, strong em { font-variant: small-caps; font-style: normal; font-weight: bolder; } /* inputbox stuff */ textarea { display: block; font-family: monospace; border-color: #999 #FFF #FFF #999; } input, textarea { background-color: #eee; border-width: 1px; border-style: solid; float: none; } input { border-color: #FFF #999 #999 #FFF; } table.addbox { background-color: #BBBBBB; }