/* -- Main settings -- */
body { font-family:Arial; margin:10px; }
a { color:navy; font-weight:bold; text-decoration:none }
a:hover { color:lightblue; }
a:active { color:red; }
a.anchor:hover { color:navy }

.em { font-weight:bold; font-style:italic; }

div.body { padding-left:150px; }

div.figure { font-weight:bold; padding:20px; }
div.figure img { display:block; margin-left:auto; margin-right:auto }

div.foot { font-size:10px; text-align:right; color:navy; margin-top:10px;
	   border-width:2px; border-top-style:solid; border-color:navy; }

/* JS popup */
#pup {
  position:absolute;
  z-index:200; /* aaaalways on top*/
  padding: 3px;
  margin-left: 10px;
  margin-top: 5px;
  width: 200px;
  border: 1px solid navy;
  background-color: white;
  color: black;
  font-size: 0.95em;
}

#table { border-width:1px; border-style:solid; }
table > th { font-style:italic; font-weight:normal; text-align:center; }

table.fig { margin-left:auto; margin-right:auto;}
table.fig td { text-align:center; }
table.fig th { font-style:italic; font-weight:normal; text-align:left; padding-left:10%; padding-right:10%; }

h1 { padding-left:20px; margin:0px; white-space:nowrap; }
h2 { padding:5px; color:navy; border-width:2px;
     border-top-style:solid;  border-bottom-style:solid;  
     border-color:navy; 
     }
h3 { margin-bottom:3px; }
h3.news:before { 
    content: "";
    border-color: transparent navy;
    border-style: solid;
    border-width: 0.35em 0 0.35em 0.35em;
    display: block;
    height: 0;
    width: 0;
    left: -0.8em;
    top: 0.9em;
    position: relative;
}

/* -- Specials -- */
table.head { border-style:none; width:100%;
             background:navy; color:white;
             vertical-align:middle;
             }
td.logo { background:white; padding:4px; }

#menu { border-top-style:solid;  border-bottom-style:solid; border-width:2px;
        border-color:navy; color:navy; background-color:white;
        padding:5px;
        position:fixed; left:10px; top:129px; width:120px;
        }
#menu a { color:navy; }
#menu a:hover { background-color:navy; color:white; }