File: docs/style.css

/* -----------------manual------------------- */
#manual{font:normal 12px Verdana;line-height:20px;color:#333;background-color:#fff}
#manual h1{font-size:20px}
#manual h2{font-size:18px}
#manual h3{font-size:14px}
#manual h1, #manual h2, #manual h3{font-weight:bold;margin:30px 0 10px 0}
#manual p{margin-bottom:10px}
#manual a{color:#039;text-decoration:none}
#manual a:hover{color:#930;text-decoration:underline}
#manual small{font:normal 9px Verdana}
#manual li{margin-bottom:5px}
#manual ul li{list-style-type:square;}
#manual ul li li{list-style-type:disc}
#manual ul li li li{list-style-type:circle}
#manual table{font:normal 12px Verdana;}
#manual table th{color:#fff;text-align:center;background-color:#666}
#manual table td{vertical-align:top}
#manual table th, #manual table td{padding:5px;border:1px #999 solid;}
#manual div.hr{margin:10px 0 10px 0;border-bottom:1px dashed #093}
#manual .aj{text-align:justify}
#manual .highlight{color:#444;padding:7px;display:block;margin:5px 0 5px 0;border:1px #999 solid;background-color:#f4f4f4}