/*
 * netinertia v2 CSS file
 * (C) James O'Gorman 2004
 */

html, body { height: 100%; }
body {
    font-family: "Bitstream Vera Sans", verdana, helvetica, sans-serif;
    background: #e7e3de;
    margin: 0px;
}

div#container { 
   position: relative; 
   min-height: 100%;
}

div#header h1 { 
  display: none
  /*float: left;
  text-indent: 50px;
  text-align: center;
  color: silver;
  font-size: 12em;*/
}

div#main {
    position: absolute;
    top: 25px;
    left: 25%;
    border: 1px;
    border-style: inset;
    width: 50%;
    padding: 5px 5px 3px;
    background: #f3f0ed;
    font-size: 10px;
    max-height: 75%;
    overflow: auto;
    /*white-space: normal;*/
}

.semitrans {
    opacity: 0.8; /* CSS3 opacity. Might be supported one day... */
    -moz-opacity: 0.8; /* Opacity for Mozilla */
    filter:alpha(opacity=80); /* Opacity for IE */
}

.title {
    font-size: large;
    font-weight: bold;
}

.dir {
    font-style: italic;
    font-weight: bold;
    color: #000080;
}

.var {
    font-style: italic;
    font-weight: bold;
    color: #800000;
}

.section {
    font-weight:bold;
    border-bottom: 1px;
    border-bottom-style: dotted;
    margin-top: 10px;
}

.links a {
    display: block;
}

a img {
    border: 0px;
}

div#footer {
    position: absolute;
    bottom: 0;
    width: 100%;
    padding-bottom: 5px;
    border-top: 1px solid black;
    background-color: #eee;
    margin: 5px 0px 0px 0px;
    font-size: 10px;
    font-style: italic;
}

div#footer img {
    /*float: right;
    margin-top: 10px;*/
    position: absolute;
    right: 5px;
    top: 10px;
}

div#footer p {
    /*position: fixed;*/
    /*bottom: 5px;
    left: 5px;*/
    padding-left: 5px;
}

div#footer p.right {
    position: absolute;
    right: 5px;
    bottom: 5px;
}

.valid {
    position: absolute;
    bottom: 5px;
    right: 5px;
    border: 0px;
}

div#menu {
    position: absolute;
    top: 25px;
    right: 5%;
    width: 135px;
    /*height: 700px;*/
    font-size: 12px;
    z-index: 100;
    border: 1px;
    /*border-top: 1px solid #000;
    border-left: 1px solid #000;
    border-right: 1px solid #ccc;*/
    border-style: inset;
    text-align: center;
    /* opacity: 0.8;  CSS3 only */
    -moz-opacity: 0.8; /* Opacity for Mozilla */
    filter:alpha(opacity=80); /* Opacity for IE */
}

div#menu p {
    background-image: url('../images/darkbg.jpg');
    display: block;
    text-align: center;
    margin: 0;
    padding: 5px;
}

div#menu a {
    display: block;
    text-align: left;
    /*font: bold 1em sans-serif; */
    padding: 5px 10px;
    margin: 0 0 0px;
    /*border-width: 0; */
    /*border: 1px dotted #ccc;*/
    /*border-bottom: 1px solid #ccc;*/
    text-decoration: none;
    /*color: #FFC;*/
    background: #eee;
    /*border-right: 5px solid #505050;*/
}
   
div#menu a:hover {
    color: #411;
    background: #ccc;
    /*border-right: 5px double white;*/
}

div#menu div#submenu a {
    display: block;
    background: #f3f0ed;
    text-indent: 10px;
}

div#menu div#submenu a:hover {
    color: #411;
    background: #ccc;
}