|
|
- /* 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 <h1> 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; }
-
- /* <h3> 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 <em> and <strong> 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;
- }
|