body {
    background-color: #ffffff;
    color: #333333;
    font: 80% lucida, verdana, helvetica, arial;
    width: 720px;
}

a:link {
    color: #e14141;
    text-decoration: none;
}

a:visited {
    color: #888888;
    text-decoration: none;
}

a:active,a:hover {
    color: #e14141;
    text-decoration: underline;
}

a.attachment {
    padding-right: 1px;
}

h2 {
    border-bottom: 2px #333333 solid;
}

h3 {
    border-bottom: 1px #333333 solid;
    margin-bottom: 0px;
}

h4 {
    margin-top: 1em;
    margin-bottom: 0px;
}

pre {
    white-space: pre;
    margin: 1em 2em 1em 2em;
    background: #dddddd;
    border: 1px dotted #e14141;
    overflow: auto;
    padding: 2px;
    font-family: monaco, new courier, courier;
}

tt {
    white-space: pre;
    font-family: monaco, new courier, courier;
}

div.company-name {
    width: 100%;
    color: #e14141;
    text-align: left;
    font-size: 50px;
    font-family: new courier, courier
}

div.company-name a:link {
    text-decoration: none;
}

div.company-name a:visited {
    text-decoration: none;
}

div.company-name a:visited {
    color: #e14141;
}

div.company-name img {
    vertical-align: bottom;
    padding-bottom: 3px;
}

div.location-menu {
    width: 100%;
    text-align: left;
    font-size: 30px;
    color: #e14141;
    font-family: new courier, courier;
    margin-top: 10px;
    padding-bottom: 10px;
    border-bottom: 1px #e14141 solid;
}

div.location-menu img {
    vertical-align: bottom;
    border: 0px;
    padding-bottom: 2px;
}

table.navbar {
    width: 100%;
    border: 1px solid #e14141;
    border-collapse: collapse;
    border-spacing: 0px;
    background-color: #dddddd;
    font-size: 100%;
    padding: 0px;
}

table.navbar td {
    color: #e14141;
    padding: 0px;
}

table.navbar * td a:link, table.navbar * td a:visited {
    color: #e14141;
    font-weight: bold;
}

table.navbar table {
    border: none;
    border-collapse: collapse;
    border-spacing: 0px;
    padding: 0px;
}

table.navbar table td {
    padding-top: 2px;
    padding-bottom: 2px;
}

table.navbar * td.item {
    font-weight: bold;
    padding-left: 8px;
    padding-right: 8px;
}

table.navbar * td.firstitem {
    font-weight: bold;
    padding-left: 4px;
    padding-right: 8px;
}

table.navbar * td.lastitem {
    font-weight: bold;
    padding-left: 8px;
    padding-right: 4px;
}

table.navbar * span.item {
    font-weight: bold;
    padding-left: 8px;
    padding-right: 8px;
}

table.navbar * span.firstitem {
    font-weight: bold;
    padding-left: 4px;
    padding-right: 8px;
}

table.navbar * span.lastitem {
    font-weight: bold;
    padding-left: 8px;
    padding-right: 4px;
}

table.navbar * td.selecteditem {
    color: white;
    background-color: #e14141;
    font-weight: bold;
    padding-left: 4px;
    padding-right: 4px;
}

table.navbar * td.selecteditem a:link, table.navbar * td.selecteditem a:visited {
    color: white;
    background-color: #e14141;
    font-weight: bold;
}

table.navbar * span.selecteditem a:link, table.navbar * span.selecteditem a:visited {
    color: white;
    background-color: #e14141;
    font-weight: bold;
}

div.tagline {
    font-family: new courier, courier;
    color: #e14141;
    text-align: right;
    width: 100%;
    margin-top: 3px;
}

div.page-contents {
    margin-top: 5px;    
}

div.copyright-footer {
    margin-top: 50px;
    font-size: 80%;
    text-align: center;
}

div.spacer {
    width: 100%;
    height: 20px;
    background-image: url(images/rsh-star-20x20.gif);
    background-repeat: no-repeat;
    background-position: center;
}

div.leftmenu-container {
    border: 1px solid #e14141;
    width: 170px;
    padding: 6px;
    background-color: #dddddd;
    float: right;
    margin-left: 5px;
    margin-bottom: 5px;
}

div.leftmenu {
    font-size: 8pt;
    border: 1px dotted #e14141;
    padding: 5px;
    background-color: #ffffff;
    margin-bottom: 5px;
}

div.leftmenu-last {
    font-size: 8pt;
    border: 1px dotted #e14141;
    padding: 5px;
    background-color: #ffffff
}

div.leftmenu ul, div.leftmenu-last ul {
    list-style-type: disc;
    list-style-position: inside;
    margin-left: 0px;
    padding-left: 0px;
}

div.leftmenu ul li, div.leftmenu-last ul li {
    margin-left: 0px;
    padding-left: 0px;
    font-weight: bold;
}

div.leftmenu ul ul, div.leftmenu-last ul ul {
    list-style-type: circle;
    list-style-position: inside;
    margin-left: 1em;
    padding-left: 0px;
}

div.leftmenu ul ul li, div.leftmenu-last ul ul li {
    margin-left: 0px;
    padding-left: 0px;
    font-weight: normal;
}

div.leftmenu ul ul ul, div.leftmenu-last ul ul ul {
    list-style-type: square;
    list-style-position: inside;
    margin-left: 1em;
    padding-left: 0px;
}

.toc {
    background: #dddddd;
    border: 1px dashed #e14141;
    padding: 8px;
    /* puts us out of the way of the left menu */
    margin-right: 200px;
}

.pre-box {
    font-family: courier, monaco, new courier;
    white-space: pre;
    border: 1px dashed #e14141;
    padding: 5px;
    background: #dddddd;
}

table.project {
    width: 100%;
    border: 1px dashed #e14141;
}

table.project td.name {
    font-weight: bold;
}

table.project td.description {
    font-size: 8pt;
    padding-left: 8px;
}

table.project td.license {
    font-weight: bold;
    font-size: 8pt;
    text-align: right;
}

#project-listing div.spacer {
    margin-top: 5px;
    margin-bottom: 5px;
}