/*
New CSS file
*/
body, p{
	Font-Family : Sans-Serif, Arial;
	Font-Size : 11pt;
	Margin : 10pt 20pt 20pt;
	Max-Width : 600pt;
	Table-Layout : Auto;
	Text-Align : justify;
	}


.center{
	Align : center;
	}

H1{
	Color : #808080;
	Font-Weight : bold;
	Line-Height : 100%;
	Text-Align : center;
	Text-Decoration : underline;
	}

.ueberschrift{
	Color : #808080;
	Font-Size : 14pt;
	Font-Weight : bold;
	Line-Height : 100%;
	Text-Align : center;
	Text-Decoration : underline;
	}


.description{
	Color : #808080;
	Font-Size : 10pt;
	}


TABLE.main{
	Border : #FFFFFF;
	Max-Width : 600pt;
	}


TD{
	Border : 1pt solid #808080;
	Border-Spacing : 5pt;
	Margin : 5pt;
	Padding : 2pt 2pt;
	}


TH{
	Border : 1pt solid #808080;
	Border-Spacing : 5pt;
	Margin : 5pt;
	Padding : 2pt 2pt 5pt;
	}


TABLE{
	Border : 1pt solid #000000;
	}

.ueberschrift{
	Color : #808080;
	Font-Size : 14pt;
	Font-Weight : bold;
	Line-Height : 100%;
	Text-Align : center;
	Text-Decoration : underline;
	}
pre {
    background-color: #f1f1f3;
    color: #112;
    padding: 10px;
    font-size: 1.1em;
    overflow: auto;
    margin: 4px 0px;
          width: 95%;
}



/* Syntax highlighting */
pre .normal {}
pre .comment { color: #005; font-style: italic; }
pre .keyword { color: #A00; font-weight: bold; }
pre .method { color: #077; }
pre .class { color: #074; }
pre .module { color: #050; }
pre .punct { color: #447; font-weight: bold; }
pre .symbol { color: #099; }
pre .string { color: #944; background: #FFE; }
pre .char { color: #F07; }
pre .ident { color: #004; }
pre .constant { color: #07F; }
pre .regex { color: #B66; background: #FEF; }
pre .number { color: #F99; }
pre .attribute { color: #5bb; }
pre .global { color: #7FB; }
pre .expr { color: #227; }
pre .escape { color: #277; }