/* based on Wikipedia's Monobook CSS */
html {
    background-color: white;
    color: black;
}

body {
    font-family: verdana, arial, sans-serif;
    font-size: 90%;
    color: black;
    background-color: white;
}

tt, code, pre {
    font-family: andale mono, courier new, courier, monospace;
    font-size: 100%;
}

img {
    border: 0;
}

div.header {
    clear: left;
    padding: 0.5em;
    background-color: #f9f9f9;
    border: 1px solid #aaaaaa;
}

div.header h1 {
    padding: 0;
    margin: 0;
}

div.footer {
    padding: 0.5em;
    background-color: #f9f9f9;
    border: 1px solid #aaaaaa;
    font-size: 80%;
    margin: 0;
    clear: left;
}

div.buttons {
    float: right;
}

div.buttons a {
    text-decoration: none;
}

div.left {
    float: left;
    /* width: 140px; */
    width: 8em;
    margin: 0;
    margin-top: 0.5em;
}

div.menu {
    background-color: #f9f9f9;
    border: 1px solid #aaaaaa;
    padding: 0.17em;
    margin-bottom: 1em;
}

div.menu p {
  padding-top:0;
  margin-top:0;
  padding-bottom:0;
  margin-bottom:0;
}

div.menu h2 {
  font-size:100%;
  padding-top:0.2em;
  margin-top:0.5em;
  padding-bottom:0.2em;
  margin-bottom:0;
  border-bottom: 1px dotted black;
}

div.stuff {
    /* border-left: 150px solid white; */
    border-left: 8.5em solid white; */
    font-size: 90%;
    padding: 1em;
}

div.stuff ul {
    list-style-type: square;
    padding-top: 0;
    margin-top: 0;
}

div.stuff li p {
    padding: 0;
    margin: 0;
}

div.stuff dd p {
    padding: 0;
    margin: 0;
}

div.stuff li {
    padding-top: 0.15em;
    padding-bottom: 0.15em;
}

div.stuff dd {
    padding-top: 0.15em;
    padding-bottom: 0.15em;
}

div.stuff h1,
div.stuff h2,
div.stuff h3,
div.stuff h4,
div.stuff h5,
div.stuff h6
{
    padding-top: 0.5em;
    padding-bottom: 0.17em;
    margin: 0;
    font-weight: normal;
    color: black;
    border-bottom: 1px solid #aaaaaa;
}

div.stuff h1 { font-size: 188%; }
div.stuff h2 { font-size: 150%; }

div.stuff h3,
div.stuff h4,
div.stuff h5,
div.stuff h6
{
    border-bottom: none;
    font-weight: bold;
}

div.stuff h3 { font-size: 132% }
div.stuff h4 { font-size: 116% }
div.stuff h5 { font-size: 100% }
div.stuff h6 { font-size: 80% }

div.menu a {
    text-decoration: none;
}

.disabledlink {
    text-decoration: none;
    font-weight: bold;
    font-size: 90%;
    /*
    background-color: black;
    color: white;
    */
}

div.menu a:hover {
    text-decoration: underline;
}

div.menu ul
{
    list-style: none;
    padding: 0;
    margin: 0;
    font-size: 90%;
}

div.menu ul li ul
{
    font-weight: normal;
    font-size: 90%;
    margin-left: 10px;
}

div.news h2 {
    border-bottom: 0;
    padding: 0;
    margin: 0;
    margin-top: 1em;
    font-size: 110%;
    font-weight: bold;
}

div.news h3 {
    padding: 0;
    margin: 0;
    font-size: 90%;
    font-variant: small-caps;
    color: #707070;
    margin-bottom: 1em;
    padding-bottom: 1em;
    border-bottom: 1px dashed gray;
}

.standout {
    background-color: #f9f9aa;
    border: 1px solid #aaaaaa;
    padding: 0.17em;
    margin-bottom: 1em;
    font-size: 110%;
    float: right;
}

.listingblock, .screen {
    background-color: #f9f9f9;
    border: 1px solid #aaaaaa;
    padding: 0.17em;
    margin-bottom: 1em;
    font-family: andale mono, courier new, courier, monospace;
    font-size: 80%;
}

table.benchmark {
    border-collapse : collapse;
    width: 100%;
}

table.benchmark caption {
    font-size: 110%;
    font-weight: bold;
    padding-bottom:1ex;
}

table.benchmark tr#row2 {
    border-bottom: 1px solid black;
    text-align: center;
}

table.benchmark col#col1 {
    border-right: 1px solid black;
}

table.benchmark td {
    text-align: center;
}

table.info th {
    vertical-align: top;
}

table.info td {
    vertical-align: top;
}

table.info {
    font-size: 90%;
}

table.info p {
    padding : 0;
    margin : 0;
}

table.info col.skinny {
    width:10%;
}

img.logo {
    padding:0;
    border:0;
    margin:0;
    padding-right:4px;
}

span.logo {
    font-size: 200%;
    font-weight: bold;
}

span.tagline {
    font-size: 80%;
    font-style: italic;
}

div.quoteblock {
  padding-left: 2.0em;
}