.rimage {
   margin-right: 25pt;
   z-index: -3;
}
.content {
   padding: 15pt;
}

#title {
   background: #177665;
   border: 0pt solid #ff00ff;
   color: #ffffff;
}
body {
   font-family: verdana, sans serif, helvetica, arial, tahoma;
   margin:  0pt;
   padding: 0pt;
   border:  0pt;
}
tt {
   font-family: monospace;
}
li {
   padding-bottom: 20pt;
}

/*
img {
   margin-top: 30pt;
}
*/

body,td,th {
   font-size: 14pt;
}

table {
   border-collapse:collapse;
}
/*
td.noborder {
   border: 0pt;
   padding: 2pt;
}
*/
pre.smallexample {
   font-size: 10pt;
   padding-top: 0pt;
   padding-right: 10pt;
   border: 1pt solid #000000;
}
li.small {
   font-size: 14pt;
   padding-bottom: 0pt;
}
/*
td {
   border: 1pt solid #000000;
   padding: 2pt;
}
*/
td.pre {
   font-family: monospace;
}
th {
   border: 1pt solid #000000;
   border-bottom: 2pt solid #000000;
   padding: 2pt;
}

h2 {
   background-color: #dddddd;
   border-bottom:    1pt solid #aaaaaa;
   border-right:     1pt solid #aaaaaa;
   margin-top:       2pt;
}

h1 {
   border-bottom: 2pt solid #000000;
}

.box {
   border:              1pt solid #000000;
   background-repeat:   no-repeat;
   margin:              10px; 
   margin-left:         30pt;
   padding:             10px;
   padding-left:        50px;
   background-position: 4px 4px;
   background-color:    #ffffe7;
}
#cite { 
   background-color:    #eeeeee;
   border:              1pt solid #aaaaaa;
   font-style:          italic;
}
#source { 
   background-image:    url(doc.png); 
   background-color:    #eeeeee;
   border:              1pt solid #aaaaaa;
   font-family:         monospace;
}
#example { 
   background-image:    url(beispiel.png); 
   font-family:         monospace;
   padding-bottom:      0pt;
   font-size:           14pt;
}
#note {
   background-image:    url(hinweis.png); 
}
#warning {
   background-image:    url(warn.png); 
   border:              2pt solid #aa0000;
   
}

#gray {
   background-color: #eeeeee;
}
#yellow {
   background-color: #ffff77;
}
#green {
   background-color: #77ff77;
}
#red {
   background-color: #ff7777;
}

red {
   color: #aa0000;
}
blue {
   color: #0000aa;
}
green {
   color: #00aa00;
}
gray {
   color: #999999;
}


div.page {
   height: 97%;
}
div.footer * {
   font-size: 10pt;
   color: #177665;
}

#head {
   border-bottom:1pt solid #FF7D00;
}
div.footer {
   height: 3%;
   text-align: center;
   font-size: 10pt;
   border-top:1pt solid #FF7D00;
   color: #177665;
}

div.footer a {
   text-decoration: none;
}

.imageswitch * {
   font-size: 8pt;
}