/*************************************
 * TITLE: Debian wgdd.de Stylesheet  *
 * URI  : /css/print.css             *
 * MODIF: Sat Nov 27 04:03:33 2004   *
 *************************************/

body {
  color: black;
  background-color: white;
  font-family: "times new roman", times, roman, serif;
  font-size: 12pt;
  margin: 0;
  padding: 0;
}

acronym, .titleTip {
  font-style: italic;
  border-bottom: none;
}

acronym:after, .titleTip:after {  /* Prints titles after the acronyms/titletips. Doesn't work in MSIE */
  content: "(" attr(title) ")";
  font-size: 90%;
  font-style: normal;
  padding-left: 1ex;
}

.doNotPrint {
  display: none !important;
}


/* ##### Header ##### */

#header {
  margin: 0;
  padding: 0;
  border-bottom: 1px solid black;
}

.headerTitle {
  color: black;
  background-color: transparent;
  font-family: "trebuchet ms", verdana, helvetica, arial, sans-serif;
  font-size: 200%;
  font-weight: normal;
  text-decoration: none;
  margin: 0;
  padding: 0 0 0.5ex 0;
}

.subHeader {
  display: none;
}


/* ##### Side Bar ##### */

#side-bar {
  display: none;
}


/* ##### Main Copy ##### */

#main {
  text-align: justify;
  margin: 0;
  padding: 0;
}

#main h1 {
  font-family: "trebuchet ms", verdana, helvetica, arial, sans-serif;
  font-size: 120%;
  margin: 2ex 0 1ex 0;
  padding: 0;
}

#main a {
  color: black;
  background-color: transparent;
  text-decoration: none;
}

/* #main a:after {
  content: "<" attr(href) ">";
  font-size: 90%;
  padding-left: 1ex;
}*/

p {
  margin: 0 0 2ex 0;
  padding: 0;
}

h2#toc {
	display: none;
	}

pre.apt {
  color: black;
  font-size: 0.9em;
  font-style: normal;
  font-family: "Courier New", Courier, mono, monospace;
  padding: 1em 0.5em 1em 1em;
  margin: 0em 1em 3em 2em;
  border: none;
  }

dl {
  margin: 0;
  padding: 0;
}

dt {
  font-weight: bold;
  margin: 0;
  padding: 0 0 1ex 0;
}

dd {
  margin: 0 0 2ex 1.5em;
  padding: 0;
}

.topOfPage {
  display: none;
}


/* ##### Special ##### */

form {
	display: none;
	}

ul#contribList {
	display: none;
	}


/* ##### Footer ##### */

#footer {
  margin: 2em 0 0 0;
  padding: 1ex 0 0 0;
  border-top: 1px solid black;
}

#footer a {
  color: black;
  background-color: transparent;
  text-decoration: none;
}