/*
 * common CSS for most pages (screen version)
 *
 * created: 2001-05-30
 * last modified: 2004-09-21
 */


/*
 * standard HTML elements
 */

body {
  background-color: #f4f4f4; /*#ffffff;*/
  color: #000000;
  margin: 0;
  padding: 4px;
  font-family: serif;
  /* font-size: 100%;  /* 16px, 12pt */
}

/* headings */
h1 {
  font-family: Bookman Old Style, Bookman, Arial Black, Helvetica, Arial,
               serif;
  font-size: 200%;  /* 32px, 24pt */
}
h2, h3, h4 { font-family: Helvetica, Arial, sans-serif; }
h2 { font-size: 150%; } /* 24px, 18.5pt */
h3 { font-size: 120%; } /* 19px, 14pt */
h4 { font-size: 105%; } /* 16px, 12pt */

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

ul li { list-style-type: disc; }

/* no underlines for link anchors */
a         { text-decoration: none; }
a:link    { color: #0000ff; }
a:visited { color: #008070; }
a:hover   { background-color: #f0f0ff; }
a:active  { color: #0080e0; }
a:focus   { color: #0080e0; }


/*******************************
 * general page layout
 */

/* We divide the page into two columns: navigation to the left, and content to
   the right. */
#nav-col {
  width: 12em;
  overflow: hidden;
  float: left;
  margin-bottom: 1ex;
}
#content-col {
  width: 100%;
  margin: 0 0 1ex -12.5em; /* corresponding to #content's margin */
  float: right;
}

/*
 * navigation bar
 */
#nav-bar {
  color: #ffffff;
  background-color: #353599;
  vertical-align: top;
  /* padding: 6px; */ /* messed up by (at least) Netscape 4.7 */
  padding: 6px 6px 6px 6px;
}

#nav-bar-head {
  font-family: Helvetica, Arial, sans-serif;
  font-size: 19px;  /* 14pt */
  font-weight: bold;
  text-align: right;
  color: #f0f0ff;
  background-color: #5454b1;
  padding: 2px;
}
#nav-bar-site-label {
  width: 100%;
  font-family: Courier New, Courier, monospace;
  font-size: 19px;  /* 19px, 14pt */
  font-weight: bold;
  color: #f0f0ff;
}

.nav-elems {
  color: #ffffff;
  font-family: Helvetica, Arial, sans-serif;
  font-size: 83%;  /* 13px, 10pt */
  vertical-align: top;
  text-align: left;
  display: block;
  margin-left: 0;
  padding-left: 0;
}

.nav-elems li { list-style-type: none; }

.nav-link-current {
  color: #ffffe7;
  font-weight: bold;
}

#link-home { margin-bottom: 1em; }
#link-e-mail { margin-top: 1em; }

a.nav-link {
  text-decoration: none;
  font-weight: bold;
}
.nav-elems a:hover   { background-color: #6464b4; }
.nav-elems a:link    { color: #ffffff; }
.nav-elems a:visited { color: #f4f4ff; }
.nav-elems a:active  { color: #ffffdf; }  /* #dfdfff */
.nav-elems a:focus   { color: #ffffdf; }

/* sublinks */
.nav-sublinks {
  margin-left: 20px;
  padding-left: 1em;
}
.nav-sublinks li { list-style-type: disc; }

.nav-sublink-current {
  color: #ffffe7;
  font-weight: normal;
}
.nav-sublinks a {
  text-decoration: none;
  font-weight: normal;
}


/*
 * the content
 */
#content {
  color: #000000;
  background-color: #ffffff;
  font-family: serif;
  padding: 6px 4px 6px 4px;
  margin: 0 0 0 12.5em;  /* corresponding to #content-col's margin */
}

/*
 * the footer area
 */
#footer {
  width: 100%;
  padding: 1ex 0 2ex 0;
  margin-top: 1ex;
  border-top: 1px solid #000000;
}

/* continue under all previous floating elements */
.clear-floats { clear: both; }

/* do not wrap elements contained, e.g. separete icons from associated text */
.nwrap { white-space: nowrap; }

/******************************/

/*
 * font settings
 */

/* General purpose font-sizes, quite like the LaTeX sizes.
   Still some adjustments due, especially enlargement of the large sizes ... */
.px-font      { font-size:  1px; } /* 1 pixel */
.tiny-font    { font-size: 11px; } /*  8pt */
.script-font  { font-size: 12px; } /*  9pt */
.small-font   { font-size: 13px; } /* 10pt */
.normal-font  { font-size: 16px; } /* 12pt */
.large-font   { font-size: 20px; } /* 16pt */
.llarge-font  { font-size: 23px; } /* 18pt */
.lllarge-font { font-size: 27px; } /* 20pt */
.huge-font    { font-size: 29px; } /* 22pt */
.hhuge-font   { font-size: 32px; } /* 24pt */

/* font size 0 for faked breakable spaces */
.zero-font { font-size: 0px; }

.serif-font      { font-family: serif; }
.sans-serif-font { font-family: sans-serif; }
.monospace-font   { font-family: monospace; }

.code, .code-ex {
  font-family: Courier New, Courier, monospace;
  font-size: 83%;  /* 13px, 10pt */
}
.code-ex {
  white-space: pre;
  display: block;
}

/* Exocet font (if available) */
.exo-font, .exo-font-normal {
  font-family: Exocet, Palatino Linotype, Book Antiqua, Tahoma, serif;
}
.exo-font { font-variant: small-caps; }

.tm {
  font-family: sans-serif;
  font-size: 55%;  /* 9px, 6.5pt */
  vertical-align: super;
}

/*
 * other stuff
 */

/* for longer flows of text */
.flow-text   { text-align: justify; }
.flow-text p.text {
  text-indent: 1em;
  display: block;
  /**/margin-top: 0pt;
  margin-bottom: 0pt;/**/
  /**/width: 65ex;/**/
}

/* text alignment */
.left-align  { text-align: right; }
.justify     { text-align: justify; }
.centered    { text-align: center; }
.right-align { text-align: right; }

/* indent whole text block */
.indent-all { margin-left: 20px; }
/* indent first line */
.indent     { text-indent: 1ex; }

.vtop    { vertical-align: top; }
.vcenter { vertical-align: middle; }
.vbottom { vertical-align: bottom; }

.figure {
  text-align: center;
  display: block;
  margin-top: 16px;
  margin-bottom: 16px;
}

/* page bottom: copyright/timestamp */
#addr, #timestamp {
  font-family: sans-serif;
  font-size: 75%;  /* 12px, 9pt */
  width: 33.3%;
}
#addr {
  font-style: italic;
  float: right;
  text-align: right;
  width: 33.3%;
}
#timestamp { float: left; }

#counter-box {
  width: 33.3%;
  float: left;
  text-align: center;
}
#counter {
  color: #ffffff;
  background-color: #000000;
  font-family: Helvetica, Arial, sans-serif;
  font-size: 83%;  /* 13px, 10pt */
  font-weight: bold;

  padding-top:    4px;
  padding-bottom: 4px;
  padding-left:   8px;
  padding-right:  8px;
}

/* highlighted error messages  */
.error-msg { color: #ff0000; }

/* links to change language */
.lang-link {
  position: absolute;
  top: 4px;
  right: 4px;
  text-align: right;
}

/* Tooltips - taken from AWStats HTML output. */
.tooltip {
  visibility: hidden;  /* shown by JavaScript code */
  position: absolute;
  top:   4px;
  right: 4px;
  z-index: 2;
  width: 320px;
  font-size: 75%;  /* 12px, 9pt */
  font-family: Helvetica, Arial, sans-serif;
  color: #000000;
  background-color: #ffffe6;
  padding-top:    4px;
  padding-bottom: 4px;
  padding-left:   6px;
  padding-right:  6px;
  border: 1px solid black;
}

/* tooltip anchor - the text being explained */
.tooltip-a { color: #700025; }