#wrap-header {
   background-color: rgb(87, 165, 254);
   }

#header {
   background: rgb(87, 165, 254) url('images/banner.jpg') no-repeat scroll right center;
   border-left: 1px solid rgb(87, 165, 254);
   border-right: 1px solid rgb(87, 165, 254);
   height: 125px;
   line-height: 125px;
   margin: 0pt auto;
   text-align: left;
   width: 85%;
   }

#header h1 {
   color: rgb(60, 115, 178);
   font-family: Courier New,Courier,monospace;
   font-size: 500%;
   letter-spacing: -1px;
   margin: 0pt;
   padding: 0pt 0pt 0pt 10px;
   }

#wrap-menu {
   background: rgb(60, 115, 178) url('images/menu-up.png') repeat-x scroll left top;
   float: left;
   width: 100%;
   }

#menu {
   font-size: 95%;
   margin: 0pt auto;
   padding-right: 2px;
   white-space: nowrap;
   width: 85%;
   }

#menu ul {
   border-left: 1px solid rgb(87, 165, 254);
   border-right: 1px solid rgb(87, 165, 254);
   float: left;
   list-style-image: none;
   list-style-position: outside;
   list-style-type: none;
   margin: 0pt;
   padding: 0pt;
   width: 100%;
   }

#menu_current_item a:link, a:visited, a:link {
   background: rgb(255, 255, 255); }

#menu li {
   display: inline;
   }

#menu li a:link, #menu li a:visited {
   background: transparent none repeat scroll 0% 50%;
   border-right: 1px solid rgb(87, 165, 254);
   color: rgb(255, 255, 255);
   float: left;
   padding: 0.25em 1em;
   text-decoration: none;
   }

#menu li a:hover {
   background: rgb(60, 115, 178) url('images/menu-down.png') repeat-x scroll 0% 50%;
   color: rgb(60, 115, 178);
   }

#menu li a.active {
   background: rgb(60, 115, 178) url('images/menu-down.png') repeat-x scroll 0% 50%;
   border-right: 1px solid rgb(87, 165, 254);
   color: rgb(255, 255, 255);
   float: left;
   padding: 0.25em 1em;
   text-decoration: none;
   }

#content {
   background: white none repeat scroll 0% 50%;
   border-left: 1px solid rgb(87, 165, 254);
   border-right: 1px solid rgb(87, 165, 254);
   font-size: 90%;
   margin: 0pt auto;
   padding: 3.5em 1% 20px;
   text-align: left;
   width: 83%;
   }

span.date {
   color: rgb(87, 165, 254);
   font-style: normal;
   }

#footer {
   background: rgb(136, 172, 11) url('images/menu-up.png') repeat-x scroll left top;
   border: 1px solid rgb(87, 165, 254);
   color: white;
   font-size: x-small;
   font-weight: normal;
   letter-spacing: 0.15em;
   margin: 0pt auto;
   padding: 2px 1%;
   text-align: right;
   width: 83%;
   }

#footer a:link, #footer a:visited {
   background: rgb(136, 172, 11) url('images/menu-up.png') repeat-x scroll left top;
   color: white;
   font-size: x-small;
   font-weight: normal;
   letter-spacing: 0.15em;
   text-align: right;
   }

#sf-footer {
   padding: 4px 1%;
   }

#sf-footer a:link, #sf-footer a:visited {
   background-color: rgb(222, 222, 222);
   }

* html #content {
   padding-top: 1.8em;
   }

* html #menu {
   padding-right: 0pt;
   }

body {
   background-color: rgb(222, 222, 222);
   color: black;
   font-family: arial,helvetica,verdana,tahoma,sans-serif;
   line-height: 130%;
   margin: 0pt 0pt 1em;
   padding: 0pt;
   text-align: center;
   }

p {
   margin-left: 1em;
   }

h2 {
   border-bottom: 1px solid rgb(87, 165, 254);
   color: rgb(102, 102, 102);
   font-size: 150%;
   letter-spacing: -1px;
   padding-bottom: 3px;
   }

a:link, a:visited {
   color: rgb(87, 165, 254);
   text-decoration: none;
   }

a:hover {
   color: rgb(48, 28, 205);
   text-decoration: underline;
   }

dt {
   font-weight: bold;
   margin-left: 1em;
   }

dl {
	margin-left: 1em;
	}

pre.code-scheme {
   background-color: rgb(249, 249, 249);
   border: 1px dashed rgb(47, 111, 171);
   }
   
pre.code-console {
   background-color: rgb(218, 236, 255);
   border: 1px dashed rgb(47, 111, 171);
   }
   
span.filename {
   font-family: Courier New,Courier,monospace;
   }

span.guibutton {
   font-weight: bold;
   }

span.guicheckbox {
   font-style: oblique;
   }

span.guicombo {
   font-style: oblique;
   }

span.guimenu {
   font-weight: bold;
   }

span.guitab {
   font-weight: bold;
   }

span.guitreenode {
   font-weight: bold;
   }

span.input {
   color: rgb(255, 100, 100);
   font-weight: bold;
   }
   
span.product-name {
	font-style: oblique;
   }

span.var-name {
   color: rgb(255,100,100);
   }

span.var-value {
   color: rgb(87, 165, 254);
   }