#content #manual { border: 0.1em solid #eee; border-left: 1.3em solid #eee; background: #fff url(http://phparadise.de/cbg.gif) no-repeat 100% 100%; padding: 2em 0.3em 2em 0; font-family: Helvetica, Verdana, sans-serif; font-size: smaller; }
#content #manual p { padding: 0.3em 0; }
#content #manual dl { border: 0; background: transparent; font-size: 120%; }
#content #manual dt { padding: 0.3em 0; margin: 0; }
#content #manual dd { padding: 0.5em 0; margin: 0; }
#content #manual table { border: 0; border-collapse: collapse; background: transparent; width: 100%; }
#content #manual table td { padding: 0.3em; }
#content #manual code { border-left: 0.1em solid #eee; padding: 0.5em; }
#content #manual code span { font-size: 100%; }
#content #manual div { padding: 0.3em; margin-left: 0.5em; }
#content #manual div div { margin: 0; }
#content #manual div.informalexample, #content #manual div.example { padding: 0.8em 0 0 0; margin: 0; }
#content #manual div.informalexample code, #content #manual div.example { margin-left: -0.5em; }
#content #manual div.note { padding: 0.3em; margin: 0.5em 0 0.5em 0.3em; border-left: 0.3em solid green; }
#content #manual div.caution { padding: 0.3em; margin: 0.5em 0 0.5em 0.3em; border-left: 0.3em solid orange; }
#content #manual div.warning { padding: 0.3em; margin: 0.5em 0 0.5em 0.3em; border-left: 0.3em solid red; }
#content #manual tt { font-size: 120%; }
#content #manual ul { padding-left: 1.3em; }
#content #manual h1 { padding: 0 0 0.8em 0.8em; font-size: 1.2em; }
#content #manual h2 { padding: 0.8em 0; font-size: 1em; }
#content #manual span.c7 { color: #FF8000; }
#content #manual p.c6 { font-weight: bold; }
#content #manual code.c5 { color: #000000; }
#content #manual span.c4 { color: #DD0000; }
#content #manual span.c3 { color: #007700; }
#content #manual span.c2 { color: #0000BB; }
#content #manual hr.c1 { text-align: left; }