wrt/wala/wala.css

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