/* Let no border around the body appear, and set
   it to display on a white background */
body, html {
  margin: 0px;
  padding: 0px;
  background-color: #ffffff;
}

/* Font settings for page elements */
body, ul, td, th, p, h1, h2, h3, h4, small, .small,
.smalltext, .mediumtext, .largetext, .tableTitle, .tableExtras,
input, textarea, select {
  font-family: verdana, arial, helvetica, sans-serif;
}
code, pre, tt {
  font-family: Courier, "Courier New", monospace;
}

/* General header styles */
h1, h2, h3, h4 {
  font-weight: bold;
  color: #0606a0;
}
h1 { font-size: 160%; }
h2 { font-size: 140%; }
h3 { font-size: 125%; }
h4 { font-size: 110%; }

body, td, th {
  font-size: 75%;
}

td.topline {
  border-top-width: 1px;
  border-top-style: solid;
  border-top-color: #cccccc;
}

li {
  padding-top: 3px;
  padding-bottom: 3px;
}

em {
  font-weight: bold;
  font-style: italic;
}

code, pre, tt {
  font-size: 90%;
}

.sidebar {
  padding: 5px;
}

small, .small {
  font-size: 85%;
}

a {
  color: #0606a0;
  text-decoration: none;
  font-weight: bold;
}

a:hover {
  color: #ffcc00;
}

.largetext {
  font-size: 160%;
  font-weight: bold;
  color: #0606a0;
}

.mediumtext {
  font-size: 140%;
  font-weight: bold;
  color: #0606a0;
}

.smalltext {
  font-size: 65%;
}

/* Horizontal delimiter defaults */
hr {
  border: 0px;
  color: black;
  background-color: black;
  height: 1px;
}