body {margin:0;height:100%;background-color:#393821;background-image:url(i/bg8.png)}
span.arrow {font-size:1.5em}
p {margin-top:10px}
dt {font-weight:bold;margin-top:20px}
span.red {color:red}
code {font-size:1.1em}
#all {height:100%}
#menu {float:left}
#menu img {border:none}
#content {font-size:0.8em;text-align:justify;font-family:Trebuchet MS, Helvetica, Tahoma, Verdana;padding:10px 120px 0px 210px;background:url(i/bg.gif) repeat-y;
background-color:white
/*border-left:1px solid black;border-right:1px solid black*/}
#page {width:770px}
ul {text-align:left;margin-top:0}
h1 {text-align:right; font-family:Trebuchet MS, Helvetica, Tahoma, Verdana; font-size:1.8em;font-weight:bold}
#footer {margin-top:50px}
table.ex td, table.ex th{border-collapse:collapse;border:1px solid gray;padding:5px; font-size:0.8em}