BODY {
    font-family: Verdana, Helvetica, Arial, sans-serif;
    font-size:11pt;
    color:#000000;
    background-color:#FFFFFF;
    text-align:justify;
    padding: 15px;
}


div.navheader table tr td,
div.navfooter table tr td,
div.navheader table tr th,
div.navfooter table tr th {
    background-color:transparent;
}
div.orderedlist {
    margin-top:6pt;
}
.action, .guibutton, .guimenu, .guimenuitem {
    font-weight: bold;
}
.guibutton, .guimenu, .guimenuitem {
    padding: 0px 0.5em 0px 0.5em;
}
.guimenu, .guimenuitem, .guilabel {
/* font-size: 10pt; */
    background-color: #EEE;
}
.guibutton {
    font-size: 10pt;
    font-weight:normal;
    border-width: 1px 2px 2px 1px;
    border-style: solid;
    background: #eee;
    border-color: #ddd #bbb #bbb #ddd;
}
.guilabel {
}
.keycap {
    font-family:courier, fixed, monospace;
    font-weight:normal;
}
.guibutton {
    padding:3px;
}
.copyright
{
    text-indent:0;
    color:blue;
}
div.toc {
    margin-top:15px;
	border: 1px solid black;
	padding: 0px 10px;
	text-indent:0;
	background-color: #fff9cd;
	color: black;
	margin-bottom: 1cm;
	width: 80%;
}
.synopsis {
    color:white;
    background-color:black;
    text-indent:0;
}
.author {
    color:#0000ee;
}
.definition {
    background-color:#FFFF99;
    color:#000000;
    margin:15px;
    padding:25px;
    padding-right: 80px;
    background-image: url(pix/definition.gif);
    background-repeat: no-repeat;
    background-position: right center;
    font-size:11pt;
    font-family:verdana,tahoma;
    text-align:justify;
    border-style:solid;
    border-width:2px;
    border-color:red
}
p.definition {
    text-indent:0;
}
.hide {
    display:none;
}
.test {
/* background-color:#F5F9FF; */
    color:#506580;
    padding:10px;
    padding-left: 50px;
    background-image: url(pix/sqr.gif);
    background-repeat: no-repeat;
    background-position: 2px center;
    font-family:verdana,tahoma;
    font-size:small;
    text-align:justify;
}
td p {
    text-indent: 0pt;
}
.caution, .important, .note, .tip, .warning {
    font-family:verdana,tahoma;
    border-top: 5px solid;
    border-left: 1px solid;
    margin: 1em 0 0 1em;
    padding: 5px 0 10px 0;
    width: 95%;
    clear: both;
    text-indent: 0pt;
    text-align:justify;
    background-repeat: no-repeat;
    background-position: 15px center;
    padding-top: 0px;
    padding-right: 0.8em;
    padding-bottom: 0.8em;
    padding-left: 55px;
}
.note {
    border-color: #069;
    background-color:#F5F9FF;
    background-image: url(images/note.gif);
}
.tip {
    border-color: #090;
    background-color:#F5FFF5;
    background-image: url(images/tip.gif);
}
.warning {
    border-color: #900;
    background-image: url(images/warning.gif);
    background-color:#F5F9FF;
}
.caution {
    border-color: #c60;
}
.important {
    border-color: #069;
}
.danger {
    background-color: white;
    color: black;
    padding: 10px;
    padding-left: 60px;
    background-image: url(pix/danger.gif);
    background-repeat: no-repeat;
    background-position: 4px center;
    font-family:verdana, tahoma;
    font-size:medium;
    text-align:justify;
    border-width: 3px;
    border-style: solid;
}
.example {
    font-family:verdana,tahoma;
    font-size:11pt;
    margin-top:15px;
    background-color:blue;
    background-image:url("pix/header.png");
    background-repeat: repeat-x;
    background-position: 0px top;
}
.example p.title {
    color:white;
}
.warning h3 {
    color:red;
}
.trouble {
    background-color:#F5F9FF;
    color:#FF6580;
    padding:0.8em;
    padding-left: 60px;
    background-image: url(warning.gif);
    background-repeat: no-repeat;
    background-position: 5px 5px;
    font-family:verdana,tahoma;
    font-size:x-small;
    text-align:justify;
}
.console {
    background-color: black;
    color: white;
    padding: 5px;
    margin:0;
    font-family: "Courier New", Courier, monospace;
    font-size: medium;
    white-space: pre;
}
code {
    font-size: 12pt;
}
.modifier {
    font-family: "Courier New", Courier, monospace;
    font-size: 12pt;
}
.code {
    background-color: white;
    color: black;
    padding: 5px;
    margin:0;
    font-family: "Courier New", Courier, monospace;
    white-space: pre;
}
.keyword, .KEYWORD {
    font-family: "Courier New", Courier, monospace;
    color: blue;
    font-weight: bold;
}
.comment, .COMMENT {
    color: #008800;
}
.string, .STRING {
    color: #007777;
}
.character, .CHARACTER {
    color: black;
}
.number, .NUMBER {
    color: red;
}
img {
    border:none;
}
P {
    text-indent: 3em;
    margin: 0;
}
.section, .glossary, .bibliography {
    font-weight: normal;
}
LI P {
    text-indent:0;
}
dd p {
    text-indent: 0;
}
dt {
    font-weight:bolder;
}
UL {
    text-indent:0;
}
H1, H2, h3, h4, h5 {
    color:#4580A0;
    font-weight:bold;
    margin-top:3ex;
    margin-bottom:1ex;
}
H1 {
    font-family: arial;
    font-size:14pt;
    text-align:center;
}
H2 {
    font-size:12pt;
}
H1 SPAN.subtitle {
    font-family: verdana,tahoma;
    font-size:14pt;
    font-weight:lighter;
}
H3 {
    font-family: tahoma,verdana;
    font-size:12pt;
    text-align:left;
}
H4 {
    font-family: tahoma,verdana;
    font-size:11pt;
    margin-left:0.1em;
    padding-left: 30px;
    text-align:left;
}
H5 {
    font-family: tahoma,verdana;
    font-size:11pt;
    text-align:left;
}
H5 .title {
    color:#3570A0;
}
H5 .value {
    font-family: verdana,tahoma;
    font-style:italic;
    color:#0;
}
H6 {
    font-family: tahoma,verdana;
    font-size:9pt;
    text-align:right;
    font-weight:lighter;
}
H6 .title {
    color:#3570A0;
}
H6 .value {
    font-family: arial;
    font-style:italic;
    color:#0;
}
.contents {
    background-color:#FFFFDD;
    background-image: url(/images/writing1.gif);
    padding:0.8em;
    font-size: medium;
}
A {
    text-decoration:none;
    font-family: tahoma;
    color:#6677AA;
}
.codetitle {
    padding-top:12pt;
    color:#4580A0;
}
A:hover {
    text-decoration:underline;
    color:#8899CC;
}
TH {
    font-family: verdana,tahoma;
    font-size:10pt;
/*    background-color:#DFF;*/
}
TD {
    font-family: verdana,tahoma;
   /* background-color:#EFF;*/
    font-size:9pt;
}
caption {
    font-size:10pt;
    font-weight:bolder;
    text-align:right;
}
ol {
    margin-top:0pt;
}
.orderedlist p.title {
    text-indent:3em;
    text-align:left;
}
P.TITLE {
    text-indent: 0;
    font-size:9pt;
    font-weight: bolder;
    padding-bottom:-6pt;
    text-align:CENTER;
}
.note P, .tip P, .warning P, .definition P {
    text-indent:0;
}
div.example {
    font-family:verdana,tahoma;
    background-repeat: repeat-x;
    background-position: 0px top;
}
.example p.title {
    color:yellow;
    padding:5px;
}
.programlisting {
    padding-top:5px;
    background-image:url("pix/code.png");
    background-repeat:repeat-y;
    color: black;
    background-color: white;
    padding-left: 63px;
    margin:0;
    font-family: "Courier New", Courier, monospace;
    font-size: 11pt;
}
.keyword, .KEYWORD {
    font-family: "Courier New", Courier, monospace;
    color: blue;
    font-weight: bold;
    white-space: pre;
}
.comment, .COMMENT {
    color: #008800;
    white-space: pre;
}
.string, .STRING {
    color: #007777;
}
.character, .CHARACTER {
    color: black;
}
.number, .NUMBER {
    color: red;
}