body {
	background-color:#FFFFFF;
	font-family: Arial, Helvetica, sans-serif;
	text-align: justify;
	font-size: 14px;
	color: #000000;
}

/* Programmlistings */
.programlisting {
	border: 2pt ridge #666666;
	font-size: 14px;
	color: #000000;
	/*background-image: url(../images/table.gif);*/
        background-color: #E5E5E5;
}


/* die Zeile vor jedem Programmlisting, die den Namen der Datei angibt */
.programlisting_header {
        display: block;
        background-color: white;
        border: 2pt ridge black;
        margin-bottom: -15px;
        margin-top: 15px;
        text-align: center;
        border: 2pt ridge black;
}

/* die Zeile vor jedem Programmlisting, die die Warnung bzgl. der
neuen Include-Struktur anzeigt */
.programlisting_warning {
        display: block;
        background-color: white;
        border: 2pt ridge black;
        margin-bottom: -15px;
        margin-top: 15px;
        text-align: center;
        border: 2pt ridge black;
        font-size: 12px;
}


/* für Code-Fragmente */
.literallayout {
	font-family: monospace;
}


/* die Lernziele am Anfang eines Abschnitts */
.highlights {
	margin-bottom: 1cm;
	color: #330066;
	font-style: normal;
	font-weight: bold;
}


/* die Liste der Ziele darin */
.highlights .simplelist {
	margin-left: 1cm;
	color: #330066;
}


/* Benutzereingaben und Programmausgaben */
.screen {
	color:teal;
	font-style: oblique;
	font-size: 14px;
	/*font-size: smaller;*/
}

.userinput {
	color:teal;
	font-style: oblique;
}

/* Leda-Regeln im Anhang */
.LEDARule {
	font-style: oblique;
}

/* TODOs in Nonpublic-Version */
.TODO {
	color: #FF4646;
	font-weight: bold;
}

/* Tastenkombinationen wie CTRL-Alt */
.guimenu , .guimenuitem , .guibutton {
	font-style: italic;
        /*font-weight: bold;*/
}


/* Einträge aus dem Glossar und/oder Index */
.glossterm {	
	font-style: normal;
	font-weight: bold;
}


/* das erste Auftreten eines glossterms */
.firstterm {
	font-style: normal;
	font-weight: bold;
}


/* Navigationsleiste oben */
.navheader {
	background-position: center center;
	background-image: url(../images/hintergrund.gif);
}

/* Navigationsleiste unten */
.navfooter {
	background-image: url(../images/hintergrundunten.gif);
}


/* Die 5 DocBook-Admonitions (ohne <caution>) */

.important {
	/*font-size: 2px;*/
	/*color: #CCCCCC;*/
	/*background-image: url(../images/table.gif);*/
	border: 2pt solid #FF4646;
        background-color: #E5E5E5;
        margin-top:2ex;
        margin-bottom: 2ex;
}

.tip {
	border: 1pt dashed #330066;
	/*background-image: url(../images/table.gif);*/
        background-color: #E5E5E5;
        margin-top:2ex;
        margin-bottom: 2ex;
}

.warning {
	border: 2pt double #FF0000;
	/*background-image: url(../images/table.gif);*/
        background-color: #E5E5E5;
        margin-top:2ex;
        margin-bottom: 2ex;

}

.note {
	border: 1pt solid #330033;
	/*background-image: url(../images/table.gif);*/
        background-color: #E5E5E5;
        margin-top:2ex;
        margin-bottom: 2ex;
}



/* das da sollte raus 

.function {
	font-size: 14px;
}

.literal {
	font-size: 14px;
}

.classname {
	font-size: 14px;
}
*/





/* Tabellen */
table { font-size: 14px; 
        /*margin-top: 1cm;*/
        }

.table {
	border: 1px groove #333333;
	background-image: url(../images/table.gif);
        margin-top: 2ex;
}


/* Texte, die unter Figures (Tabellen, Bildern,..) stehen (in einem <mediaobject>) */
.caption {
        font-size: 80%;
        text-align: justify;
        padding-left: 8%;
        padding-right: 8%;
}



/* Vornamen und Nachnamen von Personen */
.firstname {
    font-style: oblique;
}

.surname {
    font-style: oblique;
}


/* speziell ausgezeichnete Symbole: <symbol> */
/*
.symbol {
        font-style: italic;
}
*/


/* kein Rahmen um Links herum */
img { border:none; }

/* mathematische Formeln */
.informalequation {
        text-align: center;
}


/* Subskripte */

sub {
        font-size: 75%;
}


/* Names of application programs */

.application {
        font-style: oblique;
}


/*
tt, code { 
     color:violet;
}
*/


/* Paragraphs: Set numbers of exercises ("Exercise 75") correctly in
the left column of the table */

p { 
        margin-top: 0px; 
}