div.center {
    text-align: center;
    font-family: Tahoma, Verdana, Segoe, sans-serif;
}

div.font {
    font-family: Tahoma, Verdana, Segoe, sans-serif;
}

table.readhelper {
    width: 700px;
    margin-left: auto;
    margin-right: auto;
}

tr.menu td {height: 35px; text-align: center; font-family: "Lucida Console", sans-serif; }
tr.menu a {font-size: 140%; text-decoration: none; color: #404040; padding: 7px; padding-left: 5px; padding-right: 5px; display: block}
tr.menu a:hover {color: #808080; }

h1, h4 {font-family: Tahoma, Verdana, Segoe, sans-serif;}

h1 { font-size: 140%; }
h4 { font-size: 85%; }

ul {
    font-family: Tahoma, Verdana, Segoe, sans-serif;
    font-size: 80%;
}

p.text {
    font-family: Tahoma, Verdana, Segoe, sans-serif;
    font-size: 80%;
    text-align: justify
}

p.textcenter {
    font-family: Tahoma, Verdana, Segoe, sans-serif;
    font-size: 80%;
    text-align: center;
}

tr.builds td {
    border-bottom: 2px #dddddd solid;
    padding-right: 2em;
    font-size: 80%;
}

img.image {border: 0px; vertical-align: middle}

span.code {font-family: Courier New, mono}
span.comment {color: #008000}
span.keyword {color: #0000FF}
span.literal {color:#802020}
span.asm {color: #808080}