/* varient */
body {
    background-color: #00000f;
    background-image: url('../images/bulletholes.gif');
}

body, a.navtext:hover, a.navbar:hover, td.navtext:hover, input, textarea, select {
    color: #dae3ff;
}

.right {
  float: right;
  margin-left: 2ex;
  margin-bottom: 1ex;
}

.left {
  float: left;
  margin-right: 2ex;
  margin-bottom: 1ex;
}

div.indent {
  margin-left: 4ex;
}

input, textarea, select{
  font-family: fixed, fixedsys, courier, monospace
}

a, a.link, a:hover, a.navtext, td.link:hover, a.navbutton, a.navbar {
/*
    color: #6f6fff;
*/
    color: #7fafff;
}

a.navbutton {
    border: thin #4444ff solid;
}

div.navbar, table.navbar, div.navbox, span.navbutton, span.byline{
    color: #6677ff;
    line-height: 130%;
}

div.navbar, table.navbar, div.navbox, span.navbutton, input, textarea, select, img.captcha, hr{
    border: thin #0000aa solid;
}

div.navbar, table.navbar, div.navbox, input, textarea, select{
    background-color: #191940;
}

a.antispam, a.antispam:hover{
    background-color: #191940;
    color: #18183f;
}

a:hover, td.link:hover, div.navline0:hover, div.navline1:hover, div.navline2:hover, div.navline3:hover, 
div.navline4:hover {
    background-color: #191970;
}

div.hr {
    background-color: #000055;
}

a.navbutton:hover, span.navtext{
/*
    color: #aaaaff;
*/
    color: #aacaff;
}

a.navbutton:hover {
    border: thin #80a0ff solid;
}

.bordered {
    border: thin #d0e0ff solid;
}

table.bordered {
    background-color: black;
    padding-top:    0.5ex;
    padding-bottom: 0.5ex;
    padding-left:   2ex;
    padding-right:  2ex;
}

/* invarient */

body {
    text-align: justify;
    padding: 8pt;
    margin: 0ex;
}

h1, h2, h3, h4, h5, h6, p.left {
    text-align: left;
}

h1.center, h2.center, h3.center, h4.center, h5.center, h6.center, p.center{
    text-align: left;
}

p.large, p.bold {
  font-weight: bold;
}

table.content, div.content{
    margin-top: 10pt;
    margin-bottom: 10pt;
    width: 100%;
}

span.byline{
    padding-left: 2ex;
    font-style: italic;
    font-weight: normal;
    float: right;
}

td.main {
    text-align: justify;
    padding-left: 10pt; 
    padding-bottom: 10pt;
}

td.upper-left, td.lower-left{
    width: 20%;
}

td.lower-left{
    vertical-align: bottom;
}

a, a.link {
    text-decoration: none;
/*
    padding-left: 1pt;
    padding-right: 1pt;
*/
}

td.link {
    padding-left: 3pt;
    padding-right: 3pt;
}
  
a.no-padding {
      padding-left: 0px;
      padding-right: 0px;
}

.copy, .quote, .footnote  {
    font-size: small;
    font-style: italic;
}

li {
    text-align: left;
}

div.nowrap {
    white-space: nowrap;
}

table.navbar, div.navbar{
    vertical-align: middle;
    padding-left: 0.9ex;
    padding-right: 0.9ex;
    clear: both;
    font-weight: bold;
    padding-top: 3pt;
    padding-bottom: 3pt;
}

.clear{
    clear: both;
}

table.lhs, div.lhs {
    float: left;
    margin-right: 8pt;
    margin-top: 8pt;
    margin-bottom: 8pt;
    width: 20%;
}

table.rhs, div.rhs {
    float: right;
    margin-left: 8pt;
    margin-top: 8pt;
    margin-bottom: 8pt;
}

div.right, span.right {
    text-align: right;
    padding-left: 2ex;
}

span.right {
    float: right;
}

div.navbox {
    padding-top: 8pt;
    padding-left: 8pt;
    padding-right: 8pt;
    padding-bottom: 5pt;
    text-align: left;
}

div.navtitle0, div.navline0, div.navtitle1, div.navline1 {
}

div.navtitle0, div.navtitle1, div.navtitle2, div.navtitle3, div.navtitle4{
    font-weight: bold;
}

div.navtitle2, div.navline2 {
    padding-left: 18pt;
}

div.navtitle3, div.navline3 {
    padding-left: 36pt;
}

div.navtitle4, div.navline4 {
    padding-left: 54pt;
}

div.navspacer {
    font-size: 1px;
    height: 5pt;
}

a.navbutton, span.navdelimiter, span.navbutton {
    text-decoration: none; 
    white-space: nowrap;
    font-family: monospace;
/*
    padding-top: 0.1ex;
    padding-bottom: 0.1ex;
    padding-left: 0.7ex;
    padding-right: 0.7ex;
*/
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 3pt;
    padding-right: 3pt;
    font-weight: bold;
    font-size: 8pt;
}

a.navbutton:hover {
    text-decoration: none; 
}

div.hr {
    height: 1px;
    margin-bottom: 5pt;
    margin-top: 5pt;
    font-size: 1px;
}

span.navtext {
    font-weight: bold;
    padding-left: 0px;
    padding-right: 3pt;
}

a.navtext {
    letter-spacing: 0.07ex;
    text-decoration: none;
    padding-left: 0pt;
}

a.navtext:hover, a.navbar:hover {
    font-weight: bold;
    letter-spacing: 0.01ex;
}

a.ref {
    vertical-align: super;
    font-size: small;
}

tr {
    vertical-align: top;
}

td.navbutton {
    width: 16pt;
    margin-left: 2pt;
    margin-right: 2pt;
    padding-top: 0.3em;
    padding-bottom: 0.1em;
}

td.navtext {
    padding-left: 2pt;
    padding-top: 2pt;
}