|
- body { background-color: #FFFFFF; margin: 0px 0px 0px 0px; font-family: Verdana, Helvetica, sans-serif; font-size : 90%; }
-
- 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 : 90%; }
- .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 : 90%; }
- .content .ForrestTable { width: 100%; background-color: #7099C5; color: #ffffff; font-size : 90%;}
- .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: 90%; }
- .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;}
-
- .dtdElement { width: 100%; font-size: 90%; background-color : #ffffff; }
-
- .dtdTag { color: #990000; text-transform : uppercase; font-style : normal; font-size : 120%; font-weight : bold; }
|