/**********************************************************************
 *
 * 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)
 * Blue: rgb(102, 102, 153)
 * Light Blue: rgb(221, 221, 255)
 *
 * 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
 * 
 *********************************************************************/


/********** Global Styles **********/

@page
{
  margin: 0.5in;
}

body
{
  font-family: "Bitstream Vera Serif", "Georgia", "Lucida Bright", "Times New Roman", TimesNR, Times, Roman, serif;
  font-size: 11pt;
  color: black;
  background: white;
  margin: 0;
  padding: 0;
  border: none;
  orphans: 2;
  widows: 2;
  height: 100%;
}


/* 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
{
  display: none !important;
}


/* Headings */

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

h1,
h2,
h3,
h4,
h5,
h6,
.title
{
  font-family: "Bitstream Vera Sans", Verdana, "Lucida Sans", Arial, Helvetica, sans-serif;
}

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

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

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:link,
a:hover,
a:active,
a:visited
{
  text-decoration: none;
}


/* 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: 100%;
}

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

.title
{
  page-break-after:avoid;
  page-break-inside: avoid;
}

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

.tooltip
{
  border: none;
}

abbr[title],
acronym[title]
{
  border: none;
}

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;
}

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

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

hr
{
  color: black;
  background: transparent;
  height: 1pt; /* Required for IE/Win */
  margin: 1em 0;
  padding: 0;
  border-color: black;
  border-width: 1pt;
  border-style: none none solid none;
}

hr.lighter
{
  display:none;
}


/* 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;
  page-break-after: avoid;
  page-break-inside: avoid;
}

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: 1pt solid black;
}

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: 1pt solid black;
}

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

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

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;
}

thead
{
  page-break-after: avoid;
  page-break-inside: avoid;
}

tfoot
{
  page-break-before: avoid;
  page-break-inside: avoid;
}


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

#main
{
  text-align: justify;
  line-height: 1.3;
  color: black;
  background: white;
  margin: 0;
  padding: 0;
}

#main h1
{
  margin: 0 0 0.5em 0;
}

/* Highlight box (for warnings, etc) */

#main .highlight
{
  color: inherit;
  background: inherit;
  margin: 1em 0;
  padding: 1em 2.5em;
  border: 1pt solid black;
  page-break-inside: avoid;
}

/* For "Top ^" line. */

#main .totop
{
  display: none;
}

#main .breadcrump
{
  display: none;
}

#main table.simple td.highlight,
#main table.simple th.highlight
{
  margin: 0;
  padding: 0.25em 0.5em;
}


/* Other styles related to the main content */

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

#navhead
{
  display: none !important;
}

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


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

#header
{
  display: none !important;
}

#navbar
{
   display:none !important;
}


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

#footer {
  font-size: 90%;
  text-align: left;
  color: black;
  background: white;
  margin: 0;
  padding: 0.5em 0 0 0;
  border-top: 1pt solid black;
  clear: both;
  page-break-before: avoid;
  page-break-inside: avoid;
}

#footer hr
{
  display: none !important;
}