body { color:#000000; background:#ffffff; }



body {

  font-size : 0.8em; /* Common font size: 0.8em=12pixels */

  font-family : sans-serif; /* Common font faces, uses first available */

  margin:1em;

}



.offset20 {margin-left: 2em; margin-right: 2em;}



.treeHilite { border:1px dotted #ffcc33; background: #ffee99; font-weight:bold; }

.treeNormal { border:0px; background: transparent; font-weight:normal; }



/* Metaclasses */

A { color:#336699;text-decoration:none; }

H1,H2,H3,H4,H5 { background:#ffffff; color:#000000; padding:0.2em; text-align:left; border-bottom: 2px solid #6699cc; font-variant:small-caps }

.index H3,.index H4, .index H5 { background:#ffffff; color:#000000; text-align:left; padding:0.2em; border-bottom: 2px solid #6699cc }

DT { font-size:1em; margin-top:1em; }

DD { margin-left:20em; margin-left:1em; }

TT { font-family: monospace; font-size: 1em; }

.index DT { margin:0px; font-size:1em; }

.index DD { margin-left:3em; }



.hideTools { width:0px; display:none; }

.showTools { left:0px; padding:6px; float:left; width:200px; height:100%; display:block; overflow:scroll; background:#454545; color:#FFFFFF; }



/*#designTop0 { height:40px; background:#C0C0C0; border-bottom:1px solid #A0A0A0; }*/

/*#designTop1 { height:150px; background:#9A9A9A; border-top: 1px solid #B0B0B0; padding:4px;padding-top:8px; color:#FFFFFF; }*/

#designToolbar { position:absolute; top:8px; left:5px; white-space:nowrap; width:100%; }

   #designTop1 A { color:#E0E0E0;font-weight:bold;text-decoration:none; }

   #toc { position:absolute; bottom:5px; left:10px }

   #search { position:absolute; bottom:5px; left: 74px }

   #glossary { position:absolute; bottom:5px; left:138px; }

   #tocTable * { white-space:nowrap }





#toolHeader { height:26px; background:#9A9A9A;white-space:nowrap; }

#toolTitle { float:left;display:inline; font-size:16px; font-weight:bold; color:#FFFFFF;padding:4px;padding-left:10px; }

.toolCloser { float:right; border:1px solid #9A9A9A; }

.toolCloserA { float:right; border: 1px outset #909090; }

.toolLabel { float:left; font-weight:bold; }

.toolControl { float:right; text-align:center; }

#navigationTop { border-bottom: 1px dotted #404040; border-top: 1px dotted #404040; }

#navigationBottom {  border-bottom: 1px dotted #404040; border-top: 1px dotted #404040; }

.treeRow { white-space:pre; line-height:1.2em;}

.navigationPrev { float:left; height:26px; }

.navigationPrev A { padding-left: 25px; padding-top:4px; background:url("../images/back.gif"); background-repeat:no-repeat; }

.navigationNext { float:right; height:26px;  }

.navigationNext A { padding-right: 25px;  padding-top:4px; background:url("../images/fwd.gif"); background-position: top right; background-repeat:no-repeat; }

A.navigationLocate { background:url(../images/locate.gif) left top no-repeat; padding:5px; padding-top:0px; padding-bottom:0px; font-size:16px; float:right; margin-top:-1em; }

.navigationLocate SPAN { display:none; }



/* Conventional display classes */

.cmdsynopsis p { font-family: monospace; border-top: 1px dotted #404040; border-bottom: 1px dotted #404040; display:inline; color:#000000; margin:0.3em; padding:4px; _padding: 2px; }

.command { font-family: monospace; letter-spacing: +0.05em; color: #000000; font-weight:bold; }

.keysym { font-face:sans-serif; border:1px outset; padding:1px; font-weight:bold; background:#F9F5F0; line-height:1.8em; }

.replaceable { font-style:italic; }

.filename { font-family: monospace; font-size:1em; padding:0.1em; background:#E0E0E0; border:1px solid #D0D0D0; line-height: 1.6em;  }

.programlisting { font-weight:bold ;font-family: monospace; font-size:1em; background: #ffffcc; padding:0.5em; border:1px dotted #DDCCBB; margin:0.5em; white-space:pre;  }

.userinput {font-style:italic; }

.keycap { font-face:sans-serif; border:1px outset; padding:0.1em; font-weight:bold; background:#F9F5F0; line-height:1.8em; }

.guibutton { font-face:sans-serif; border:1px dashed #A0A0A0; background: #D5CFCF; padding:0.1em; white-space:nowrap }

.guimenu { font-face:sans-serif; font-size:0.9em; border:1px dashed #A0A0A0; background: #D5CFCF; padding:0.1em; white-space:nowrap; font-weight:normal; }

.guimenuitem { font-face:Arial,sans-serif; font-size:0.9em; border:1px dashed #A0A0A0; background: #D5CFCF; padding:0.1em; white-space:nowrap; font-weight:normal; font-style:italic }

