/* Beschreibung .....: CSS-Stylesheet für meine privaten Webseiten   */
/* Dateiname ........: siart.css                                     */
/* CSS-Standard .....: CSS2                                          */
/* Autor ............: Uwe Siart <webmaster@siart.de>                */
/* Time-stamp:         "2010-02-28 14:07:34 siart"                   */


/* ================================================================= */
/* Seitenlayout                                                      */
/* ================================================================= */

html {
  background-color : #FFFFFF;
  color : black;
  font-family : Verdana, Tahoma, Arial, sans-serif;
  font-size : 10.5pt;
  width : auto;
  max-width : 59em;
  padding : 0;
  margin : 2em 8%;
}

div.title {
  background-color : #E5E5E5;
  padding : 8px;
  width : 100%;
}

p.breadcrumps {
  font-weight : bold;
  color : #666666;
}

p.heading1 {
  font-weight : bold;
  font-size : 200%;
  letter-spacing : 3px;
  word-spacing : 6px;
  text-transform : uppercase;
  margin-left : 20px;
  margin-top : 0;
}

p.heading2 {
  font-weight : bold;
  font-size : 150%;
  letter-spacing : 2px;
  word-spacing : 4px;
  text-transform : uppercase;
  margin-left : 20px;
  margin-top : 20px;
}


/* ================================================================= */
/* Navigation                                                        */
/* ================================================================= */

div.navigation {
  background-color : #FFDFDF;
  font-size : 90%;
  padding : 8px;
  width : 100%;
}

div.anchor {
  margin : 0;
  padding : 0;
}

div.jump {
  line-height : 15pt;
  margin : 20px 0px;
  text-align : left;
}

/* Inhaltsverzeichnis                                                */
/* ----------------------------------------------------------------- */

ul.inhalt1,ul.inhalt2 {
  font-weight : bold;
}

ul.inhalt1 {
  list-style-type : none;
}

ul.inhalt2 {
  list-style-type : circle;
}


/* ================================================================= */
/* Haupttext                                                         */
/* ================================================================= */

/* Blockelemente                                                     */
/* ----------------------------------------------------------------- */

h1 {
  font-size : 120%;
  font-weight : bold;
  margin-top : 30px;
  padding-left : 6px;
  padding-bottom : 3px;
  border-left : 3px solid #990000;
  border-bottom : 2px dotted gray;
}

h2 {
  margin-top : 20px;
  font-size : 110%;
  font-weight : bold;
  color : #990000;
}

h3 {
  font-size : 110%;
  font-weight : bold;
}

table {
  border-style : none;
}

tr {
  vertical-align : top;
}

p,li,td {
  text-align : left;
}

li {
  margin-top : 0.3em;
}

pre.beispiel {
  font-family : 'Courier New', Courier, monospace;
  background-color : #E5E5E5;
  border : 1px solid black;
}

.flushright {
  text-align : right;
}

.displayed {
  margin : 20px 0px;
}

.sdisplayed {
  font-size : 90%;
  margin : 20px 0px;
}

.smaller {
  font-size : 90%;
}

/* Inline-Elemente                                                   */
/* ----------------------------------------------------------------- */

strong {
  font-weight : bold;
}

em {
  font-style : italic;
}

code {
  font-family : 'Courier New', Courier, monospace;
}

img {
  border-style : none;
  margin : 0;
  padding : 0;
}

/* Hyperlinks                                                        */
/* ----------------------------------------------------------------- */

a:link, a:visited, a:active {
  color : #990000;
  text-decoration : none;
}

a:hover {
  color : white;
  text-decoration : none;
  background-color : #990000;
}

p.breadcrumps > a:link {
  color : #666666;
  text-decoration : none;
}

p.breadcrumps > a:visited {
  color : #666666;
  text-decoration : none;
}

p.breadcrumps > a:active {
  color : #666666;
  text-decoration : none;
}

p.breadcrumps > a:hover {
  color : white;
  text-decoration : none;
  background-color : #990000;
}

h1 > a:link {
  color : #000000;
  text-decoration : none;
}

h1 > a:visited {
  color : #000000;
  text-decoration : none;
}

h1 > a:active {
  color : #000000;
  text-decoration : none;
}

h1 > a:hover {
  color : white;
  text-decoration : none;
  background-color : #990000;
}


/* ================================================================= */
/* Highlighting in Codefragmenten (erzeugt von htmlize.el)           */
/* ================================================================= */

/* AUCTeX Faces                                                      */
/* ----------------------------------------------------------------- */

.font-latex-bold {
  color: #556b2f;
  font-weight: bold;
}

.font-latex-italic {
  color: #556b2f;
  font-style: italic;
}

.font-latex-sedate {
  color: #696969;
}

.font-latex-warning {
  color: #ff0000;
  font-weight: bold;
}

.font-latex-math {
  color: #8b4513;
}

.font-latex-sectioning-1 {
  color: #00008b;
  font-weight: bold;
}

.font-latex-sectioning-2 {
  color: #00008b;
  font-weight: bold;
}

.font-latex-sectioning-3 {
  color: #00008b;
  font-weight: bold;
}

.font-latex-sectioning-4 {
  color: #00008b;
  font-weight: bold;
}

/* Emacs Faces                                                       */
/* ----------------------------------------------------------------- */

.comment {
  color: #b22222;
}

.comment-delimiter {
  color: #b22222;
}

.constant {
  color: #008b8b;
}

.function-name {
  color: #0000ff;
}

.keyword {
  color: #a020f0;
}

.type {
  color: #228b22;
}

.variable-name {
  color: #a0522d;
}

.string {
  color: #8b2252;
}

.underline {
  text-decoration: underline;
}

.bold {
  font-weight: bold;
}

.bold-italic {
  font-weight: bold;
  font-style: italic;
}

/* ================================================================= */
/* Klassen zum Erzeugen der TeX-Logos (G. Neugebauer in DTK 01/2009) */
/* ================================================================= */

.bib {
  font-variant: small-caps;
}

.a {
  text-transform: uppercase;
  font-size: 75%;
  vertical-align: 0.45ex;
  margin-left: -0.36em;
  margin-right: -0.15em;
}

.t {
  margin-left: -0.1em;
}

.e {
  text-transform: uppercase;
  font-size: 95%;
  vertical-align: -0.45ex;
  margin-left: -0.1em;
  margin-right: -0.06em;
  line-height: 0;
}