body {  background-color: #FFFFFF; margin: 0px 0px 0px 0px; font-family: Verdana, Helvetica, sans-serif;  font-size : 75%;  }

a:link { color: #0F3660; }
a:visited { color: #009999; }
a:active { color: #000066; }
a:hover { color: #000066; }

.menu { background-color: #4C6C8F; margin: 0px; padding: 3px 8px 5px 3px;  font-size : 75%;  }
.menu a:link { color: #FFFFFF;  text-decoration : none;  }
.menu a:visited { color: #FFFFFF; text-decoration : none; }
/*.menu a:active { font-weight: bold }*/
.menu a:hover { color: #FFCC00; text-decoration : none; }
.menu ul { margin: 0px 0px 0px 20px; padding: 0px; }
.menu li  { list-style-image: url('../images/label.gif'); font-weight : bold; }
.menu ul ul li .sel { list-style-image: url('../images/current.gif'); font-weight : normal; }
.menu ul ul li  { list-style-image: url('../images/page.gif'); font-weight : normal; }

table .title { background-color: #FFFFFF; width:100%; border: 0px; }
.dida { font-size: 60%; }

.pre { white-space: pre;}

.content { padding: 5px 5px 5px 10px;  font : small;  font-size : 75%; }
.content .ForrestTable { width: 100%; background-color: #7099C5; color: #ffffff; font-size : 75%;}
.content .ForrestTable caption { text-align: left; color: black; font-weight: bold; }
.content .ForrestTable th { text-align: center; }
.content .ForrestTable td { background-color: #f0f0ff; color: black; }

.frame { margin: 5px 20px 5px 20px; font-size: 75%; }
.frame .content { margin: 0px; }

.note { border: solid 1px #7099C5; background-color: #f0f0ff; }
.note .label { background-color: #7099C5; color: #ffffff; }

.warning { border: solid 1px #D00000; background-color: #fff0f0; }
.warning .label { background-color: #D00000; color: #ffffff; }

.fixme { border: solid 1px #C6C600; background-color: #FAF9C3; }
.fixme .label { background-color: #C6C600; color: #ffffff; }

.code { border-color: #CFDCED; border-style: solid; border-width: 1px; }
.codefrag {	font-family: "Courier New", Courier, monospace; }

.highlight { background-color: yellow; }

.minitoc {margin: 5px 5px 5px 40px;}