.login{
    color: rgb(56,81,150) !important;
    font-size: 80%;
    font-weight: bold;
}
.login input{
    color: rgb(56,81,150) !important;
    font-size: 80%;
    font-weight: bold;
}
a:hover {
    text-decoration: underline !important;
    color: rgb(215, 7, 81) !important;
}

.subHeader {
    font-size: 120%; 
    color:  rgb(240,240,240);
    margin: 0px -10px;
    padding: 5px 10px 0px 10px;
    text-align: center;
    border-bottom: 2px solid rgb(56,81,150);
    background-color: rgb(240,240,240);
}

.subHeader a, .subHeader a:visited {
    color: rgb(56,81,150) !important;
    font-weight: bold;
    text-decoration: none !important;
    padding-top: 3px;
}

.subHeader a:hover{
        border-top: 5px solid rgb(215, 7, 51);
        color: rgb(215,7,51) !important;
}
.subHeader a#highlight { border-top: 5px solid rgb(215, 7, 51) !important;
}
body {
    background-color: #dddddd;
    background-image: url(images/stone.bmp);
}

#page {
    width: 950px;
    margin: 0 auto;
    padding: 0 5px;
}
#main {
    background: #aaaaaa;
    margin: 0 auto;
    float: left;
    padding: 5px 0 0 5px;
    min-height:600px;
}
#right {
    float: right;
    width: 140px;
    padding: 5px 5px 0 0;
    min-height:600px;
    background: #aaaaaa;
}
#footer
{
    background:papayawhip; color:#4e1e2d;
    margin-top: 4px;
    text-align: center;
    padding: 4px;
    width:100%;
    font-size:12px;
}
div.article {
    border-left: 1px solid #555;
    border-right: 1px solid #555;
    border-top: 1px solid #555;
    border-bottom: 1px solid #555;
    background: #ffffff top left repeat-x;
    background: url(images/acricepr.gif);
    color:SaddleBrown;
    padding: 5px;
    margin-top: 5px;
}
div.article .title {
    font-family: Verdana, Georgia, Arial, sans-serif;
    font-size: 110%;
    border-bottom: 2px solid #06c;
    padding: 0;

}

div.article div.tagline {
    font-style: italic;
    font-family: Verdana, Georgia, Arial, sans-serif;
    font-size: 80%;
    text-align: right;
}
div.article div.page{
    margin: 2px;
}


div.indent {
    margin-left: 25px;
    margin-right: 25px;
}
div.comment {
    border-left: 1px solid #555;
    border-right: 1px solid #555;
    border-top: 1px solid #555;
    border-bottom: 1px solid #555;
    background: #eeeeee top left repeat-x;
    background: url(images/acricepr.gif);
    margin: 5px 0px;
}

div.comment div.body {
    padding: 10px 10px;
    border-bottom: 1px solid #555;
}

div.comment .title {
    background: #999999 top left no-repeat;
    font-weight: bold;
    font-size: 120%;
    padding: .26ex 40px;

}
div.comment .link {
    float: right;
    padding-top: 0.25ex;
    padding-right: 0.5em;
}

div.comment div.tagline {
    background: #dddddd;
    text-align: right;
    border-bottom: 1px solid #555;
    font-size: 96%;
    padding: 0.26ex 10px !important;
}

div.comment p.foot {
        margin: 0px;/* p tag has its own default margin, so remove it*/
        padding: 0.25ex 0.5em;
        font-size: 96%;
}

.ToC{
    width:600px;
    overflow:auto;
}
p{
    width:600px;
    overflow:auto;
}
pre {
    background: #cccc99;
    color:#663300;
    border:     solid;
    border-width:   thin;
    padding: 5px  10px;
    margin-left: 25px;
    margin-right: 25px;
    width:600px;
    overflow:auto;
}