/**********************************************************************
 *
 * Stylesheet used for use by the the site
 * http://www.informatik.fernuni-hagen.de/pi8/
 *
 * Largely based on the Sinorcaish style sheet (see copyright notice
 * below).
 * http://www.zap.org.au/documents/styles/sinorcaish/
 *
 * This stylesheet uses thre decorative colors:
 *
 * Dark Blue: rgb(52, 52, 103) / rgb(36, 36, 107)
 * Blue: rgb(102, 102, 153) / rgb(57, 57, 153)
 * Light Blue: rgb(221, 221, 255) / rgb(165, 195, 251)
 *
 * These decorative colors are used in the following combinations:
 *
 * White on Blue: Page header/title
 * Dark Blue on Light Blue: Page header/sub-title.
 * Dark Blue on [Transparent]: H1-H3
 * 
 *********************************************************************/

/************************************************************************
*                                                                       *
*                  Sinorcaish Screen-based Style Sheet                  *
*                 Copyright (C) 2004-06, John Zaitseff                  *
*                                                                       *
************************************************************************/

/**********************************************************************
 *
 * The following HTML elements should NOT be used in documents using this
 * style sheet:
 *
 * ADDRESS - use the #footer style instead.
 * Q - use “ and ” instead.
 *
 *********************************************************************/


/*********************************************************************
 *
 * Global styles
 *
 *********************************************************************/

body
{
  font-family: Verdana, "Bitstream Vera Sans", "Lucida Sans", Arial, Helvetica, sans-serif;
  font-size: 100%;
  color: black;
  background-color: white;
  margin: 0;
  padding: 0;
  border: none;
}


/* Used for content that should be displayed by non-stylesheet-aware
 * browsers. */ 

.hidden
{
  display: none !important;
}


/* Used for content that should not be printed to paper. */

.notprinted
{
}


/* Headings. */

/* Headings (H1-H6) should only be used in the main content area. */

h1,
h2,
h3
{
  font-weight: bold;
  text-align: left;
  margin: 1.5em 0 0 0;
  padding: 0;
}

h4,
h5,
h6
{
  font-weight: bold;
  text-align: left;
  margin: 1.25em 0 0 0;
  padding: 0;
}

h1 { font-size: 145.5% }
h2 { font-size: 120% }
h3 { font-size: 105% }
h4 { font-size: 100% }
h5 { font-size: 80% }
h6 { font-size: 65% }


/* Anchors */

/*a { text-decoration: none }*/
a:link { text-decoration: underline }
a:visited { text-decoration: underline }
a:hover { text-decoration: underline }
a:active { text-decoration: underline }


/* Inline elements and classes. */

/* This style sheet assumes B, BIG, EM, I, SMALL, STRONG, SUB and SUP
 * are defined by the browser as per the HTML4 sample style sheet. */

code,
kbd,
pre, /* Note: PRE is a block element. */
samp,
tt
{
   font-family: "Courier New", Courier, monospace;
   font-size: 115%; /* Courier tends to be a little too small */
   line-height: 1.0; /* Otherwise lines tend to spread out */
}

kbd,
code.markup, /* HTML/CSS markup */
span.markup, /* Alternative form for HTML/CSS markup */
.title /* Title in floating boxes / left sidebar */
{
   font-weight: bolder;
}

abbr,
acronym
{
   font: inherit; /* Don't use small-caps, etc. */
}

.tooltip
{
   cursor: help;
   border-bottom: 1px dotted #CCCCCC;
}

abbr[title],
acronym[title]
{
   cursor: help;
   border-bottom: 1px dotted #CCCCCC;
}

cite,
dfn,
var,
.fn, /* Filename */
.url, /* Uniform Resource Locator */
.email /* E-mail address */
{
   font-style: italic;
}

.program, /* Command-line name of a computer program */
.window, /* Window or dialog box name */
.menu, /* Menu item in a computer program */
.gui, /* Generic GUI element in a computer program */
.key /* Keypress in a computer program */
{				
   font-weight: bolder;
}

.clearboxes
{			
   clear: right;
}

.unicode
{
   font-family: "Arial Unicode MS", "Lucida Sans Unicode", Verdana, "Bitstream Vera Sans", "Lucida Sans", Arial, Helvetica, sans-serif;
}


/* Block-inline elements. */

img
{
   vertical-align:  baseline;
   margin:          0;
   padding:         0;
   border:          none;
}

img.left /* Left-floating images. */
{
   margin:          0.75em 1.5em 0.75em 0;
   float:           left;
}

img.right /* Right-floating images. */
{
   margin:          0.75em 0 0.75em 1.5em;
   float:           right;
}

del,
del * /* Required for Mozilla. */
{
   text-decoration: line-through;
}

ins,
ins * /* Required for Mozilla. */
{	
   text-decoration: underline;
}


/* Block elements. */

p
{
  margin: 1em 0;
  padding: 0;
}

/* BLOCKQUOTE should only be used in main content area, floating boxes
 * or left sidebar. */

blockquote
{
  margin: 1em 2.5em;
  padding: 0 0 0 0;
}

/* PRE should only be used in main content area and floating boxes. */

pre
{
  line-height: 1.2;
  margin: 1em 2.5em;
  padding: 0;
}

/* PRE is already enlarged above. Use same values as for PRE above. */

pre code,
pre kbd,
pre samp,
pre tt
{
  font-size: 100%;
  line-height: 1.2;
}

hr
{
  color: rgb(36, 36, 107);
  background: transparent;
  height:  1px; /* Required for IE/Win */
  margin: 1em 0;
  padding: 0;
  border-color: rgb(36, 36, 107);
  border-width: 1px;
  border-style: none none solid none;
}

hr .lighter
{
  color: rgb(36, 36, 107);
  background: transparent;
  border-color: rgb(36, 36, 107);
}


/* Lists. */

ol
{
  list-style: decimal outside;
  margin: 1em 0;
  padding: 0 0 0 2.5em;
}

ol.alpha
{
  list-style-type: lower-alpha;
}

ol.number
{
  list-style-type: decimal;
}

ul
{
  list-style: square outside;
  margin: 1em 0;
  padding: 0 0 0 2.5em;
}

ol ol,
ol ul,
ul ol,
ul ul
{
  margin-top: 0;
  margin-bottom: 0;
}

ol ul,
ol ol ul,
ol ul ul,
ul ul,
ul ol ul,
ul ul ul
{
  list-style: square outside;
}

li
{
  margin: 0;
  padding: 0;
}

dl
{
  margin: 1em 0;
  padding: 0;
}

dt
{
  font: inherit; /* Don't make the text bold by default. */
  margin: 1em 0 0.25em 0;
  padding: 0;
}

dd
{
  margin: 0 0 1em 2.5em;
  padding: 0;
}


/* Tables. */

/* Tables should never be used for visual formatting. That is the role
 * of CSS! */

table.simple
{
  color: inherit;
  background: inherit;	/* Don't make tables transparent */
  border-collapse: collapse;
  border-spacing: 0;
  empty-cells: show;
  margin: 0.5em 2.5em;
  padding: 0;
  border: 1px solid rgb(36, 36, 107);
}

table.simple caption
{
  text-align: center;
  caption-side: top;
  margin: 0 2.5em 0.75em;
  padding: 0;
  border: none;
}

table.simple td,
table.simple th
{
  text-align: center;
  vertical-align: middle;
  margin: 0;
  padding: 0.25em 0.5em;
  border: 1px solid rgb(36, 36, 107);
}

table.simple th,
table.simple td.highlight,
table.simple th.highlight
{
  font-weight: bold;
  color: inherit;
  background: #F0F0F0;
}

table.simple td.lighter,
table.simple th.lighter
{
  color: inherit;
  background: #F8F8F8;
}

table.simple td.left,
table.simple th.left
{
  text-align: left;
}

table.simple td.center,
table.simple th.center
{
  text-align: center;
}

table.simple td.right,
table.simple th.right
{
  text-align: right;
}


/*********************************************************************
 *
 * Styles for the main content area.
 *
 ********************************************************************/

#main
{
  text-align: left;
  line-height: 1.5;
  color: black;
  background: transparent;
  text-decoration: none;
  margin: 2em 0 0 12.5em;
  padding: 0 1.5em 0.5em 1em;
}

#main h1
{
  color: rgb(36, 36, 107);
  background-color: transparent;
  margin: 1.5em 0 0 0;
  padding: 0.5ex 0 0.25ex 0;
  border-bottom: 1px solid rgb(36, 36, 107);
}

#main h1 a
{
  text-decoration: none;
}

#main h2
{
  color: rgb(36, 36, 107);
  background-color: transparent;
  margin: 1.5em 0 0 0;
  padding: 0.4ex 0 0.2ex 0;
}


#main h3
{
  color: black;
  background-color: transparent;
  margin: 1.25em 0 0 0;
  padding: 0.5ex 0 0.5ex 0;
}

#main h3 a
{
  text-decoration: none;
}

/* For "Top ^" line. */

#main .totop
{
  font-size: 90%;
  text-align: right;
  margin: -0.75em 0 1em 0;
  padding: 0 0 0.25em 0;
  border-bottom: 1px solid rgb(36, 36, 107);
}

#main .breadcrump
{
  font-style: italic;
  margin: 0;
  padding: 0.25em 0;
}

#main a:link
{
  color: rgb(36, 36, 107);
  background-color: transparent;
}

#main a:visited
{
  color: rgb(98, 98, 132);
  background-color: transparent;
}

#main a:hover
{
  color: rgb(36, 36, 107);
  background-color: transparent;
}

#main a:active
{
  color: rgb(98, 98, 132);
  background-color: transparent;
}

#main table.normalform  {
  text-align: center;
}

#main table.normalform th, table.normalform td {
  text-align: center;
  width: 300px;
}

#main table.normalform th:nth-child(even), table.normalform td:nth-child(even){
  border-left: 1px solid black;
  padding-left: 10px;
}

#main table.normalform th:nth-child(odd), table.normalform td:nth-child(odd){
  padding-right: 10px;
}

/* "Path to this page" information. Not printed out on paper. */

#navhead
{
  font-size: 90%;
}

#navhead hr
{
  display: none;
}

#endmain
{
  visibility: hidden;
  clear: both; /* Doesn't always work under IE/Win. */
}


/*********************************************************************
 *
 * Styles for the header.
 *
 * The header is composed of two parts: title and subtitle.
 *
 ********************************************************************/

#header .title
{
  padding: 0 0.25em;
  color: white;
  background-color: rgb(57, 57, 153);
}

#header h1
{
  font-size: 250%;
  font-weight: normal;
  margin-top: 0;
  padding-top: 0.25em;
  padding-bottom: 0.25em;
  background-color: rgb(57, 57, 153);
}

#header h1 a
{
  color: white;
  background-color: rgb(57, 57, 153);
  text-decoration: none;
}

#header h2
{
  font-size: 150%;
  font-weight: normal;
  margin-top: 0;
  padding: 0 0 0.25em;
  background-color: rgb(57, 57, 153);
}

#header h2 a
{
  color: white;
  background-color: rgb(57, 57, 153);
}

#header .subtitle
{
  color: rgb(36, 36, 107);
  background-color: rgb(165, 195, 251);
  margin: 0;
  padding: 0.5ex 0.25em;
}

#header .subtitle a:link,
#header .subtitle a:visited
{
  font-weight: bolder;
  color: rgb(36, 36, 107);
  background: transparent;
  text-decoration: none;
}

#header .subtitle a:hover,
#header .subtitle a:active
{
  font-weight: bolder;
  color: rgb(36, 36, 107);
  background: transparent;
  text-decoration: underline;
}


/*********************************************************************
 *
 * Styles for the left sidebar, aka. navbar (not printed out on paper).
 *
 ********************************************************************/

#navbar
{
  width: 12em;
  margin: 1em 0 0 0; /*.5em 0.5em 0em 0.5em;*/
  padding: 0;
  float: left;
  clear: both;
}

#navbar div
{
  border-bottom: 1px solid rgb(57, 57, 153);
  margin-bottom: 1em;
}

#navbar h3,
#navbar h4
{
  color: white;
  background-color: rgb(57, 57, 153);
  font-weight: bold;
  margin: 0;
  padding: 0.25em 0 0.25em 0.25em;
}

#navbar ul
{
  list-style-type: none;
  list-style-position: outside;
  margin: 0;
  padding: 0;
}

#navbar a
{
  width: 11.7em;
  display: block;
  margin: 0;
  padding: 0.15em;
}

#navbar a:link,
#navbar a:visited
{
  color: rgb(36, 36, 107);
  background-color: transparent;
  text-decoration: none;
  margin: 0;
  padding: 0.15em;
}

#navbar a:hover,
#navbar a:focus
{
  color: white;
  background-color: rgb(165, 195, 251);
  text-decoration: underline;
  margin: 0;
  padding: 0.15em;
}

#navbar li.active
{
  display: block;
  color: rgb(51,51,103);
  background-color: rgb(165, 195, 251);
  font-weight: bolder;
  text-decoration: none;
  margin: 0;
  padding: 0.15em;
}

#navbar li.active a:hover,
#navbar li.active a:focus
{
  display: block;
  color: rgb(51,51,103);
  background-color: rgb(165, 195, 251);
  font-weight: bolder;
  text-decoration: underline;
  margin: 0;
  padding: 0.15em;
}

/*********************************************************************
 *
 * Styles for the footer.
 *
 ********************************************************************/

#footer {
  color: white;
  background-color: rgb(57, 57, 153);
  font-size: 91%;
  margin: 0 0 0 0;
  padding: 1ex 0.5em 4ex 0.5em;
  clear: both;
}

#footer .left {
  text-align: left;
  line-height: 1.45em;
  float: left;
  clear: left;
}

#footer .right {
  text-align: right;
  line-height: 1.45em;
}

#footer a {
  color: white;
  background-color: transparent;
  text-decoration: underline;
}