body {
    font-family: Cambria, "Hoefler Text", Utopia, "Liberation Serif", "Nimbus Roman No9 L Regular", Times, "Times New Roman", serif;
    margin: 0; 
    padding: 0;
    background-color: #fefefe;
    font-size: 12pt;
	color: #333;
	min-width: 800px;
}

a {
    text-decoration: none;
    color: blue;
}

a:hover {
    text-decoration: underline;
}

#wrap {
    width: 820px; 
    margin: 0; 
    padding: 0;
}

#header {
    font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
    font-size: 14pt;
    margin: 10px 0 15px 10px; 
    padding: 0; 
    color: #333; 
    width: 100%; 
    text-align: left;
}

#header a {
    color: #333; 
    font-weight: bold; 
    text-decoration: none;
}

#left  {
    float: left; 
    margin: 0 0 20px 10px; 
    padding: 0; 
    border: 1px solid #ccc;
    width: 200px; 
}

#right {
    float: right; 
    margin: 0; 
    padding: 0 0 20px 0; 
    width: 600px; 
}

#footer {
    font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
    clear: both; 
    color: #666; 
    font-size: 12px; 
    width: 100%;
    margin: 0 0 0 10px;
    text-align: right; 
    background-color: #f1f2f5; 
    padding: 5px 10px 5px 0;
}

#left p {
    font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
    font-size: 12px;
    font-weight: bold;
    margin: 0; 
    border-bottom: 1px solid #ccc;
    padding: 6px 6px 6px 16px; 
    text-indent: -10px;
}

#left a { 
    margin: 0; 
    padding: 0; 
    color: #333; 
    text-decoration: none;
}

#left a:hover {
    color: #666; 
    text-decoration: underline;
}

#left p.current, #left p.current a {
    color: #000; 
    background-color: #f1f2f5; 
    font-weight: bold;
}

iframe {
    width: 600px;
    height: 300px;
    margin: 0;
    padding: 0;
    border: 0 none transparent;
}

#jobs {
    min-width: 580px;
    margin: 0;
    padding: 0;
    width: 580px;
}

h2 {
    font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
    font-size: 13pt;
    color: #333;
    background-color: #f1f2f5; 
    text-align: right;
    padding: 5px 10px 5px 0;
    margin: 0;
}

h3 {
    font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
    font-size: 12pt;
    color: #333;
    /* background-color: #f5f2d8;*/
    text-align: left;
    padding: 0;
    margin: 1em 0;
}

table { 
    margin: 0;
    margin-left: auto;
    margin-right: auto;
    padding: 0; 
    border-collapse: collapse;
    border: 1px solid #ccc;
}

tr.alternate {
    background-color: #f5f2d8;
}

td { 
    border: 1px solid #ccc; 
    padding: 3px; 
    vertical-align: middle;
}

th { 
    border-bottom: 1px solid #808080;
    padding: 3px; 
    vertical-align: bottom;
    background-color: #f1f2f5;
}

td.number, th.number {
    text-align: right;
}

td.text, th.text {
    text-align: left;
}

td.date, th.date {
    text-align: center;
}

#jobs table {
    table-layout: fixed;
    width: 580px;
    margin: 0;
}

#jobs table td {
    font-size: 80%;
}

#jobs table th {
    font-size: 80%;
}

#primes {
    float: right;
    margin: 20px 0 10px 5px;
}

#primes caption {
    font-size: 80%;
    font-weight: bold;
    margin: 20px 0 5px 0;
    vertical-align: bottom;
    padding: 0;
}

#primes td {
    font-size: 80%;
}

#primes th {
    font-size: 80%;
}

#seedColumn {
    width: 10%;
}

#taskColumn {
    width: 18%;
}

#iterationsColumn {
    width: 12%;
}

#startColumn {
    width: 20%;
}

#updateColumn {
    width: 20%;
}

#finishColumn {
    width: 20%;
}

span.firstUse {
    font-style: italic;
}

ol ol {
    list-style-type: lower-roman;
}

ul > li {
    margin-bottom: 1.5em;
}

.tight li {
    margin-top: 0.25em;
    margin-bottom: 0.5em;
}

.tight li p {
    margin-top: 0;
    margin-bottom: 0;
}

sup, sub {
    font-size: 75%;
    height: 0;
    line-height: 2.5ex;
    vertical-align: baseline;
    _vertical-align: bottom;
    position: relative;            
}

sup {
    bottom: 1.5ex;
}

sub {
    top: 0.5ex;
}

.var {
    font-style: italic;
}

#applet {
    width: 100%;
    text-align: center;
    margin-top: 20px;
}

applet {
    margin-left: auto;
    margin-right: auto;
}

pre {
    font-face: lucida, "Courier New", courier, monospace;
    font-size: 9pt;
}

dt {
    font-weight: bold;
    margin-bottom: 1em;
}

dd {
    margin-bottom: 1em;
}

.inlineCode {
    font-family: lucida, "Courier New", courier, monospace;
    font-size: 11.5pt;
}

.interface {
    /* font-style: italic; */
}

#download {
    border: 0 none transparent;
    float: right;
    margin: 20px;
}