/***************************************************************************
** reset  
*/
html, body, div, ul, ol, li, dl, dt, dd, h1, h2, h3, h4, h5, h6, pre, form, p, blockquote, fieldset, input {
    margin: 0;
    padding: 0;
}

h1, h2, h3, h4, h5, h6, pre, code, address, caption, cite, code, em, strong, th {
    font-size: 1em;
    font-weight: normal;
    font-style: normal;
}

ul, ol {
    list-style: none;
}

fieldset, img {
    border: none;
}

caption, th {
    text-align: left;
}

table {
    border-collapse: collapse;
    border-spacing: 0;
}

/********************************************************************************
** text links
*/
a {
    text-decoration: none;
    white-space: nowrap;
    border-bottom: 1px dotted #8B0000;
}

a.restart {
    border: none;
}

a:link, a:visited {
    color: #8B0000;
}

a:hover {
    color: red;
}

a:active {
    color: #8B0000;
}

a img {
    border: 1px solid white;
}

a:link img, a:visited img {
    border: 1px solid white;
}

a:hover img {
    border: 1px dotted #8B0000;
}

a:active img {
    border: 1px solid white;
}

a.image {
    border: none;
}

/***************************************************************************
** 
*/
.clear {
    clear: both;
}

body {
    margin: 0;
}

div.wrapper {
    margin: 1ex 1em;
    width: 900px;
}

h1 {
    font-size: 200%;
    margin-bottom: 1ex;
    border-bottom: 3px solid #8B0000;
    /*	width: 735px;*/
}

h2 {
    font-size: 150%;
    margin-bottom: 1ex;
    border-bottom: 3px solid #8B0000;
}

ul {
    margin-left: 20px;
    list-style: square outside;
}

li {
    margin-bottom: 0.5ex;
}

ul, p {
    margin-bottom: 2ex;
}

sup, sub {
    font-size: 60%;
}

#discuss {
    position: relative;
    bottom: 5px;
    margin-left: 5px;
    font-family: courier;
    font-size: 12px;
    border: 1px solid #aaa;
    padding: 0 2px;
}

#sizes {
    font-size: 120%;
    margin-bottom: 1ex;
    position: relative;
}

#sizes .restart {
    float: left;
    margin-right: 10px;
}

#others {
    font-size: 120%;
    margin-bottom: 2ex;
}

#others1 {
    font-size: 120%;
    margin-bottom: 1ex;
}

#others2 {
    font-size: 120%;
    margin-bottom: 2ex;
}

#back {
    font-size: 120%;
    margin-bottom: 1ex;
}

.algorithm_wrapper {
    margin-bottom: 2ex;
}

table {
    margin-bottom: 2ex;
}

th, td {
    text-align: center;
    font-size: 120%;
}

th, td {
    padding: 5px;
    border: 1px solid gray;
}

#text {
    margin-bottom: 2ex;
}

.cellhead {
    margin-bottom: 1ex;
    text-align: center;
}

#discussion {
    width: 437px;
    float: left;
    padding-right: 10px;
    /*     border-right: 1px solid #ccc;*/
}

#directions {
    width: 437px;
    float: left;
    padding-left: 10px;
}

#banner {
    width: 915px;
}

#banner table {
    width: 100%;
}

#banner td {
    padding: 0;
    margin: 0;
    border: 0;
}

#translate_gadget {
    margin-top: 1ex;
}

#header {
    float: right;
    text-align: right;
    /*	line-height:175%;*/
    position: relative;
    top: 2ex;
}

#comments {
    clear: both;
    margin-bottom: 2ex;
}

#login-status {
    text-align: left;
    font-style: italic;
}

.comment {
    margin-top: 1ex;
}

#comments textarea {
    width: 595px;
    height: 120px;
    font-size: 16px;
}

.comment .author {
    color: #8B0000;
}

#comment_entry {
    border: 2px solid #8B0000;
    padding: 1ex;
    width: 600px;
}

#footer {
    margin-top: 2ex;
    clear: both;
    font-size: 80%;
    font-style: italic;
    border-top: 3px solid #8B0000;
}

#footer table {
    width: 100%;
}

#footer td {
    white-space: nowrap;
    vertical-align: top;
}

#footer td {
    padding: 0;
    margin: 0;
    border: 0;
}

#footer td#copyright {
    text-align: left;
    padding-top: 2px;
    width: 390px;
}

#footer td#validate {
    padding-top: 3px;
}

#footer td#counter {
    text-align: right;
    padding-top: 2px;
}

pre i {
    color: #8B0000;
}

pre i.invariant {
    color: #006400;
}