body
{
   background: #F4F4F4;
   font-family: arial, verdana;
   font-size: 90%;
   margin: 0px 0px 10px 205px;
   height: 100%;
}

h1,
h2
{
   padding: 0px 0px 0px 5px;
   margin: 0px;
   font-variant: small-caps;
   font-size: 1.1em;
}

h3,
h4
{
   font-size: 1.0em;
}

a:link,
a:active,
a:visited
{
   text-decoration: none;
   color: blue;
}
a:hover
{
   color: red;
}

a.hide:link,
a.hide:active,
a.hide:hover,
a.hide:visited
{
   color: black;
   margin-right: 5px;
}

*:target
{
   background: #E4E4F4;
}

pre
{
   margin: 0px;
}

div.topBar
{
   position: fixed;
   top: 0px;
   left: 0px;
   margin: 0px;
   margin-left: 193px;
   width: 100%;
   padding-bottom: 10px;
   z-index: 1;
   background: transparent url(images/menubarbottom.png) repeat-x bottom;
}
div.topBarInside
{
   padding-top: 10px;
   padding-bottom: 5px;
   width: 100%;
   background: transparent url(images/menubar.png) repeat-x top;
}


div.topBarLinks
{
   z-index: 1;
   padding: 0px;
   margin-top: 0px;
   margin-right: 20px;
   margin-left: 10px;
   text-align: left;
}

/* Generate page layout */
div#leftSide
{
   position: fixed;
   top: 0px;
   left: 0px;
   width: 205px;
   margin: 0px;
   padding: 0px;
   padding-bottom: 31px;
   background: transparent url(images/sidebarframebottom.png) no-repeat bottom;
   z-index: 20;
   font-size: 0.9em;
}

div#leftSide div#leftSideInside
{
   width: 205px;
   padding-top: 5px;
   margin: 0px;
   border: 0px;
   background: url(images/sidebarframe.png) no-repeat;
}

div#leftSideInside div
{
   padding-top: 10px;
   margin-top: 0px;
}

div#leftSideInside .button
{
   position: relative;
   width: 185px;
   background: transparent url(images/nav1_btn_up.png) no-repeat right;
   height: 27px;
   padding: 3px 0px 0px 5px;
   z-index: 10;
}
div#leftSideInside a .button
{
   color: #2020A0;
}
div#leftSideInside a:hover .button
{
   color: #A02020;
   background: transparent url(images/nav1_btn_mo.png) no-repeat right;
}

div#leftSideInside a
{
   position: relative;
   z-index: 1;
}
div#leftSideInside i .button2,
div#leftSideInside a .button2
{
   position: relative;
   margin: -6px 0px 0px 0px;
   height: 26px;
   width: 183px;
   padding: 5px 0px 0px 5px;
   background: transparent url(images/nav2_btn_up.png) no-repeat right 0px;
   list-style-type: none;
   list-style-position: inside;
   z-index: 1;
}
div#leftSideInside i .button2
{
   color: #802020;
}
div#leftSideInside a .button2
{
   color: #2020A0;
}
div#leftSideInside a:hover .button2
{
   color: #A02020;
   background: transparent url(images/nav2_btn_mo.png) no-repeat right 0px;
}

#rightSide
{
   float: right;
   width: 205px;
   margin: 0px 0px 0px 0px;
   padding: 0px;
   padding-bottom: 31px;
   background: transparent url(images/rightsidebottom.png) no-repeat bottom;
   font-size: 0.8em;
}
div#rightSideInside
{
   width: 193px;
   padding-top: 10px;
   padding-left: 12px;
   margin: 0px;
   border: 0px;
   background: url(images/rightside.png) repeat;
}

div#Index ul
{
   margin: 2px 0px 0px 0px;
   padding: 0px 0px 0px 0px;
}
div#Index li
{
   width: 193px;
   list-style-type: none;
   list-style-position: outside;
   border-top: 1px dotted #c0c0c0;
}
div#Index li a
{
   color: #2020A0;
   padding-left: 20px;
}
div#Index li a:hover
{
   color: #E04040;
}
div#Index li.package-spec a
{
   background: transparent url(images/package-spec.png) no-repeat 3px 0px;
}
div#Index li.task-spec,
div#Index li.protected-spec,
div#Index li.var-spec
{
   background: transparent url(images/variable-spec.png) no-repeat 3px 0px;
}
div#Index li.class-spec,
div#Index li.task-type-spec,
div#Index li.protected-type-spec,
div#Index li.type-spec
{
   background: transparent url(images/type-spec.png) no-repeat 3px 0px;
}
div#Index li.subp-spec
{
   background: transparent url(images/subprogram-spec.png) no-repeat 3px 0px;
}

/* Styles within each region */

#documentation
{
   margin: 0px 0px 0px 0px;
   padding: 0px 210px 10px 0px;
}
div.title,
div.titleTopBar
{
   text-align: center;
   padding: 0px 0px 0px 5px;
   font-weight: bold;
   font-variant: small-caps;
   font-size: 1.1em;
}
div.title
{
   padding-top: 10px;
}
div.titleTopBar
{
   margin-top: 100px;
}

div.subprograms
{
   font-size: 90%;
   margin: 10px 0px 0px 0px;
}

div.subprograms .class
{
   border: 1px solid #c0c0c0;
   margin-top: 5px;
   padding: 0px;
}

div.subprograms .name
{
   color: red;
}
div.subprograms .name_emphasis
{
   color: red;
   font-weight: bold;
}

div.subprograms h3
{
   background: #dae3fe;
   padding: 0px 0px 0px 5px;
   margin: 0px 0px 0px 0px;
}
div.subprograms h4
{
   padding: 0px;
   margin: 0px;
}
div.subprograms div.profile
{
   font-family: courier new, courier;
   padding: 5px 5px 5px 5px;
   background: white;
}
div.subprograms div.details
{
   font-family: courier new, courier;
   padding-top: 0px;
   padding-left: 5px;
   padding-top: 3px;
   padding-bottom: 3px;
   background: #fafaff;
}
div.subprograms div.details div
{
   padding-left: 0px;
}
div.subprograms div.details table
{
   margin-left: 20px;
   border-collapse: collapse;
}
div.subprograms div.details table td
{
   border:0px;
   padding:0px;
   vertical-align: top;
}
div.subprograms div.details span.keyword
{
   font-weight: bold;
   color: #970505;
}
div.subprograms div.details span.string
{
   font-style: italic;
   color: #0A9988;
}
div.subprograms div.details span.comment
{
   color: #209020;
}
div.subprograms div.comment
{
   border-top: 1px dotted #c0c0c0;
   background: white;
   padding-left: 5px;
   padding-top: 0px;
   padding-bottom: 0px;
   white-space: pre-wrap;
}
div.subprograms div.comment *
{
   margin: 0px;
   padding-top: 3px;
   padding-bottom: 3px;
   white-space: normal;
}

div.subprograms .type,
div.subprograms .type *      { padding-left: 0px;
                               font-weight: normal; }
div.subprograms div.entries
{
   padding: 0px;
   border: 1px solid #c0c0c0;
}
div.subprograms div.parameters,
div.subprograms div.parameters
{
   font-family: courier new, courier;
   background: #eee;
}

div.subprograms div.parameters div,
div.subprograms div.details div { padding: 0px 0px 0px 0px;
                                  margin: 0px 0px 0px 0px;
                                  border: 0px;}
div.entity
{
   font-size: 0.9em;
   margin-left: 20px;
}
div.classroot,
div.classtree
{
   position: relative;
   margin: 0px 0px 0px 0px;
   padding: 0px 0px 0px 0px;
}
div.classroot
{
   background: transparent url(images/tree_root.png) no-repeat left 0px;
   margin-bottom: 3px;
}
div.classtree
{
   background: transparent url(images/tree_item.png) no-repeat left 0px;
}
div.classtreechildren
{
   position: relative;
   top: -4px;
   margin: 0px 0px 0px 8px;
   padding: 0px 0px 7px 0px;
   background: transparent url(images/treechildren_bg_bottom.png) no-repeat left bottom;
}
div.classtreechildreninside
{
   margin: 0px 0px 0px 0px;
   padding: 0px 0px 5px 8px;
   background: transparent url(images/treechildren_bg.png) repeat-y left;
}
div.classroot h3,
div.classtree h3
{
   position: relative;
   height: 30px;
   font-weight: normal;
   padding: 4px 0px 0px 15px;
   margin: 0px 0px -6px 0px;
   z-index: 5;
}

.droplink
{
  text-align:left;
  position:relative;
  height:2.5em;
  margin:0;
  list-style-type:none;
  padding-right:12px;
  background: transparent url(images/link.png) no-repeat center right;
  text-decoration: underline;
}
.droplink ul
{
  visibility:hidden;
  position:absolute;
  top:1.2em;
  left:0;
  height:0;
  overflow:hidden;
  list-style-type:none;
  margin:0;
  padding:0;
  z-index:10;
}
.droplink:hover ul
{
  visibility:visible;
  height:auto;
  width:10em;
  background:#eee;
  border:1px solid #ddd;
  overflow:visible;
}
.droplink li
{
  font-size: 12px;
  padding-left: 5px;
}

/* For printing we do not want the table of contents nor the index */

@media print {

body { margin: 10px; }

#rightSide { display: none; }

#leftSide { display: none; }

#documentation { margin: 10px; }

#droplink ul { display: none; }

}
