/* Overall page look */

body {

    background: #3D6666;

    border: 0;

    margin: 0;

    padding: .4em;

}



table {

    border-collapse: separate;

    border-spacing: 0;

    border: 0;

    margin: 0;

    padding: 0;

}



td {

    border: 0;

    margin: 0;

    padding: 0;

}



div {

    border: 0;

    margin: 0;

    padding: 0;

}



/* Title */

h1.title {

    border: 0;

    border-bottom: 2px groove #3D6666;

    margin: 0;

    padding: 0;

    padding-bottom: .2em;

    text-align: center;

}



/* Footer */

div.Copyright {

    border-top: 2px groove #3D6666;

    font-family: sans-serif;

    font-size: small;

    font-weight: bold;

    padding-top: .3em;

    text-align: center;

}



/* navigation bar is the same for all pages */

table.nav {

    border-collapse: collapse;

}



.nav td {

    background-color: #b8e5e5;

    padding-top: 1px;

    padding-bottom: 1px;

    padding-left: 2px;

    padding-right: 2px; /* doesn't work */

    border-left: 1px solid black;

    border-right: 1px solid black;

}



/* The .nav is necessary for Netscape 4 CSS engine */

.nav td.noDisplay {

    background-color: #3D6666;

    border-left: 1px solid #3D6666;

    border-right: 1px solid #3D6666;

    color: #3D6666;

    margin: 0;

    padding-bottom: 1px;

    padding-left: 2px;

    padding-right: 2px; /* doesn't work */

    padding-top: 1px;

}



/* Some glitch in the Netscape 4 CSS engine */

td.noDisplay {

    color: #3D6666;

}



.nav a {

}



/* Vertical menu */

table.vmenu {

    border-spacing: 0px 4px;

}



td.menu {

    padding-right: .4em;

    vertical-align: top;

}



.vmenu td {

    background-color: #B8E5E5;

    border: 1px outset;

    padding: 2px;

    text-align: center;

    vertical-align: center;

}



.vmenu td.text {

    background-color: #3D6666;

    border: 1px none;

}



.vmenu td.link {

}



.vmenu td.here {

    background: #FFFFFF;

    border: 1px inset;

}



.vmenu a {

}



/* Text page contents */

.text td.contents {

    background-color: #FFFFFF;

    padding: .3em;

    width: 15cm;

}



/* image references */

table.image-refs {

    empty-cells: hide;

}



.image-refs td {

    border: 2px outset #3D6666;

    text-align: center;

}



td div.image-ref {

    margin: 4px;

    padding: 4px;

    text-align: center;

}



img.image-ref {

    margin: 2px;

}



.image-refs div.caption {

    background: #ffffff;

}



table.caption {

    background: #ffffff;

    padding: 4px;

}



div.links {

}



span.reference {

    font-size: x-small;

}



/* Image page contents */

body.image h1.title {

    border: 0;

    margin: 0;

    padding: 0;

    text-align: center;

    font-size: small

}



body.image h1.subtitle {

    border: 0;

    margin: 0;

    padding: 0;

    text-align: center;

    font-size: small

}



body.image h1.subsubtitle {

    border: 0;

    border-bottom: 2px solid black;

    margin: 0;

    padding: 0;

    padding-bottom: .2em;

    text-align: center;

    font-size: medium;

    font-weight: bold;

}



body.image table.image {

    width: 100%;

}



body.image table.picture {

    background-color: black;

    padding: 1.5mm;

}



.picture img {

}



body.image div.caption {

    width: 15cm;

}



body.image p.caption {

    text-align: center;

    font-weight: bold;

}



body.image div.desc {

    vertial-align: top;

}



body.image div.linksRef {

    text-align: center;

}



/* Shows right reference */

.refRight {

    float: right;

    font-size: small;

}



/* Hides left reference */

.refLeft {

    float: left;

    color: #3D6666;

    font-size: small;

}



/* TOC */

div.toc {

    font-size: large;

    font-weight: bold;

    margin: .2em;

    text-align: center;

}



/* Image TOC */

table.toc-image {

    background-color: white;

    empty-cells: hide;

    margin-left: auto;

    margin-right: auto;

}



/* this is the same .image-refs td :( */

td.image-ref {

    border: 2px outset #3D6666;

    text-align: center;

}



/* Text TOC */

table.text-toc {

    margin-left: auto;

    margin-right: auto;

    padding: 3px;

}



.text-toc a {

}



.text-toc td {

    background-color: #3D6666;

    margin: 0;

    padding: 2px;

    text-align: center;

    vertical-align: center;

}