/* <!-- Universal Style Sheet; based on the various psi style sheets --> */
/*
  Units:  (compare http://www.w3.org/TR/CSS2/syndata.html#length-units)

  px: for absolute pixel dimensions related to images or border widths

  pt: should - in theory - be 1/72th of an inch and less sensitive to different resolutions compared to px
      but: it is not generally so :(   =>  avoided;

  main font size:
     => by recommendation (http://www.w3.org/QA/Tips/font-size) defined as  ..., small, medium, ..
     => reason: should be the most device independent option
     => in practice: depends on the browser settings; opera => tools => prefs => fonts => webpage normal text => choose => change font size
     => defined only once for the body, the rest  is scaled using em, which refers to this

  em: relative to the main font size (assigned to the body) - e.g. headers relative to the main size;
      also border padding, table widths, spacing between fonts etc.
*/

body { /* general body settings; => body: parent element of all other styles! [not quite true ...]*/
  color: black;  background-color: white;
  background-image: none;
  /* defines the default font for the entire document */
  font-family: arial, helvetica , espy, sans-serif;
  font-size: small;  /* main font size: tried to choose a "neutral",length unit, compatible to many devices
                         => define all other lengths (fonts and objects) relative to this, i.e. em*/
  font-style: normal;  font-weight: normal;
  text-decoration: none; text-align: left;
  /* padding can be used to centre the contents*/
  padding-top: 0px;   padding-bottom: 0px;
  padding-left: 1px;  padding-right: 1px;
  margin: 0px;
}

h1 { font-size: 1.75em; margin-bottom: 0.5em; margin-top: 0.5em;}
h2 { font-size: 1.45em; margin-bottom:0.3em; margin-top:1em;}
h3 { font-size: 1.15em; margin-bottom:0.2em; margin-top:0.5em;}
h4, h5, h6, h7 { font-size: 1em; margin-bottom:0.15em; margin-top:0.25em;}


/* default unstructured list style */
ul { margin-top: 0.5em; margin-bottom: 1em;
  margin-left: 1.5em;  /* IE / Opera*/
  padding-left: 0em; /* Mozilla */
}
ul ul{
  list-style-type: circle;
  margin-left: 0em;
  padding-left: 1em;
  margin-bottom: 0.75em;
}
ul ul > li:first-child{
  margin-top: -0.2em;
}

li { margin-bottom:0.3em;}

p {
  padding: 0em;
  margin-left: 0em;  margin-right: 0em;
  margin-top: 0em; margin-bottom: 0.5em;
  text-align: justify;
}
p.no { /*no bottom margin*/
  margin-bottom: 0em;
}
p.top { /*include top margin*/
  margin-top: 0.5em;
}

a:link, a:visited, a:hover {
  color: #0000FF;          /* blue link color = PSI standard */
  background-color: white; /* bc recommended by w3; reason: users can define default background colors for any object */
}
table#maintable {
  border: 1px solid black;
  width: 100%;
}
td {
  vertical-align: top;
}
td#top1 {
  height: 16px;
  color: black; /* c recommended by w3*/
  background-color: #267AB8;
  font-size: 1px; /*necessary for IE6*/
}
td#top2 {
  /* contains "Laboratory for High ..." and the images psilogo and psidetails */
  height: 67px;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  vertical-align: middle;
}
td#top2 span{ /* defines "Laboratory for High ..." */
  font-size: 17px; /* in accordance with the psi std  => em would be better but ...*/
  font-weight: bold;
  position: relative; left: 203px; top: 2px;
}
td#top3 {
  height: 4px;
  color: black; background-color: #267AB8; /* c recommended by w3 - reason: IE*/
  font-size: 1px; /*necessary for IE6*/
}
td#sidebar {
  color: black;  background-color: #E3EAF6; /* c recommended by w3 */
  border-right: 1px solid black; border-top: 1px solid black;
  width: 12em;
  padding-left: 1em;  padding-top: 1.75em;
}
td#sidebar a:link, td#sidebar a:visited {
  text-decoration: none;
  color: #333333;  background-color: #E3EAF6; /* bc recommended by w3; reason: IE*/
}
td#sidebar a:hover {
  color: blue; background-color: #E3EAF6; /* bc recommended by w3; reason: IE*/
  margin-left: 0.05em; /*getting closer to psi std (I don't like this one though) */
}
td#main {
  padding-left: 1em;
  padding-right: 1em;
  padding-bottom: 1em;
  border-top: 1px solid black;
}
div.sidemain { /* sidebar navigation main element */
  font-weight: bold;
  border-bottom: 1px solid black;
  padding-left: 0.3em;  padding-bottom: 0.4em;
  margin-bottom: 0.4em;
}
div.sidesub { /* sidebar navigation subelement*/
  font-weight: normal;  font-size: 1em;
  padding-left: 0.65em;
}
div.sidesub a { /* push all a hrefs to the right*/
  padding-left: 0.25em;
}
div.sidesubspc { /* sidebar subelement line*/
  border-bottom: 1px dotted #848484;
  margin-top: 0.15em;  margin-bottom: 0.15em;
}
div#sidemoddate {
  text-align: center;
  font-size:0.85em;
  margin-top: 4em;
}
div#sideprinter {
  text-align: center;
  margin-top: 2em;
  margin-bottom: 5em;
}
div#sideprinter a:hover { /*don't move the printer while hovering*/
  margin-left: 0em;
}
div#sideprinter a span {
  display: none;
}
div#sideprinter a:hover span {
  font-size:0.85em;
  color: black; background: #FFFFE1;
  border: 1px solid black;
  display: block;
  float: left;
  position: relative; top: -1em; left: 1.2em;
  padding: 0.4em; margin: 1em; z-index: 100;
  text-align: center;
}
div#printfooter {
  margin-top: 5em;
  text-align: center;
}
div.forprint {
  padding-left: 1em;
  padding-right: 1em;
}
img {
  border: 0px; /* prevents a blue border around a linking image*/
}
img#psilogo {
  position: absolute; left: 17px; top: 23px;
}
img#psidetails {
  position: absolute; top: 67px; left: 204px;
}

sub { /* custom subscript => no change in line height */
  font-size: 0.8em;
  vertical-align: 0em;  /* reset vertical align to 0 */
  position: relative;
  top: 0.15em;
}
sup { /* custom superscript => no change in line height */
  font-size: 0.8em;
  vertical-align: 0em;  /* reset vertical align to 0 */
  position: relative;
  bottom: 0.35em;
}

p.w3verify a{
  text-decoration: none; /* links for syntax verification; not visible*/
}

