/* This is a CCS file. (X)Emacs views it like a -*- c -*- file ! */

body {
 color: #000088;
 background-color: #ffffff;
 font-family:  serif;
 font-size: medium;
}

ul {
 background-color: white;
 color: #000088;
 font-family:  serif;
}

ol {
  /*  margin-left: 3%;*/
  /* margin-right: 3%;*/
 background-color: white;
 color: #000088;
 font-family:  serif;
}


dl {
  /* margin-left: 4%;*/
  /* margin-right: 3%;*/
 background-color: white;
 color: #000088;
 font-family:  serif;
}

dt {
 background-color: white;
 color: #000088;
 font-family:  serif;
}

p {
  /* margin-left:3%;*/
  /* margin-right:3%;*/
 background-color: white;
 color: #000088;
 font-family:  serif;
}

tt {
 background-color: white;
 color: #aa0000;
 font-family: Courier, monospace;
}

td {
 background-color: white;
 color: #000088;
 font-family:  serif;
}

th {
 background-color: white;
 color: #000088;
 font-family:  serif;
}

code {
 background-color: white;
 color: #aa0000;
 font-family: courier, monospace;
}

h1 code, h2 code {
 background-color: #000088;
 color: #ff8888;
 font-family: courier, monospace;
}

pre {
  /* margin-left: 3%; */
  /* margin-right: 3%; */
 background-color: white;
 color: #aa0000;
 font-family: Courier, monospace;
}

h1, h2, h3, h4, h5, h6 {
 font-family:  serif;
}

h1 a {
 color: #ffffff;
 background-color: #000088;
 font-family:  serif;
}

h2 a {
 color: #ffffff;
 background-color: #000088;
 font-family:  serif;
}

h1 {
 border: 3px double;
 color: #ffffff;
 background-color: #000088;
 font-size: x-large;
 font-weight: normal;
}

h2 {
 color: #ffffff;
 background-color: #000088;
  font-size: large;
  font-weight: bold;
}

h3 {
  font-size: large;
  font-weight: normal;
}

h4 {
  font-size: medium;
  font-weight: bold;
}

h5 {
  font-size: medium;
  font-weight: normal;
  font-style: italic;
}

a:hover {
 background-color: white;
 color: #0088ff;
}

a:active {
 background-color: white;
 color: #0088ff;
}

a:link {
 background-color: white;
 color: #8800ff;
}

a:visited {
 background-color: white;
 color: #0088ff;
}