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