li { margin-top: 10px; }
body { 
  font-family: sans-serif; 
  background: #eeeeee;
  margin: 0; padding: 0;
}
/* IE hack, works around no child-selector bug */
* html body {
  margin: 15px;
  m\argin: 15px;
}
body > * { margin: 15px; padding: auto; }
body > div.navheader { margin: 0; padding: 0;}

a { color: #b77f4e; }
a:visited { color: #a84510; }
h1, h2, h3 { color: #000000; }

h2 a { color: black; }
h3 a { color: black; }
dt a { color: black; }

dt { font-weight: bold; font-style: italic; margin-top: 7px; }
dl { margin-left: 40px; }

h2 {
   border-top: 2px solid #8fc3f7;
   border-left: 2px solid #8fc3f7;
   padding: 3px;
   background: #69c;
}
h3 {
   border-bottom: 2px dotted #a84510;
   margin-bottom: 3px;
}
h3+p { margin-top: 4px; }

p.toplink { font-size: 0.8em; }

hr { display: none; }

div.footnote { font-size: 8pt; }

div.navheader
{ 
  width: 100%;
  background-color: #036;
  color: #fff;
  border-top-style: solid;
  border-top-width: 1px;
}

/* FIXME: make bottom bar prettier */
div.navfooter
{
  border-top: 1px solid #036;
}

div.navheader a, div.navheader a:visited {
  color: #fff;
}

.question { font-weight: bold; }

.toc dt { font-weight: normal; }
.toc dt a { font-weight: bold; }

.ulink { color: #00f; }
.ulink img { padding-bottom: 7px; padding-left: 2px; padding-right: 0px; border: 0; }

/*
div.draft-chapter {
  color: blue;
} */

a.linkhere, a.linkhere:visited { 
  color: black; text-decoration: none; 
  margin-right: 5px;
}

.informaltable table tr td { 
  padding-right: 5px;
}

.programlisting {
  background-color: #9cc;
  padding-left: 15px;
  border-left: 2px solid #000;
}

.screen { font-weight: bold; }

.example-break { display: none; }


/* guibutton/label styling used by /doc/raw/s2/lj/quickstart.xml */

.guibutton { 
  background-color: #559A40;
  color: #000;
  border: 2px solid #76AE65;
  border-bottom: 2px solid #447C33;
  border-right: 2px solid #447C33;
  padding-left: 2px;
  padding-right: 2px;  
  font-weight: bold;
  font-family: monospace;
}

.guilabel { font-family: monospace; }

b.fsfunc { background: #eeeeee; color: #8b008b; font-family: monospace; }
var.pdparam { background: #eeeeee; color: #0000ff; font-family: monospace; }
div.funcsynopsis p { background: #eeeeee; color: #007700; font-family: monospace; }
code.funcdef { background: #eeeeee; color: #3ebcd1; font-family: monospace; }
div.funcsynopsis code { background: #eeeeee; color: #3ebcd1; font-family: monospace; }

div.titlepage div.abstract p.title {
  font-size: 14pt;
  margin-bottom: 2px;
  border-bottom: 2px dotted #a84510;
}



/* Custom */

div.navheader a,a
{
 color: #8AAFEF; 
}


div.navheader a:visited,a:visited
{ 
/*  color: #AC2EDF;
  color: #5A1776; 
  color: #CCCCCC;
*/
 color: #8AAFEF; 

}


dt { text-decoration: underline }

h1,h2,h3,h4,h5
{
 color: #FF9900;
}

h2
{
 background:#363A3D;
 border-top: 2px solid #868a8d;
 border-left: 2px solid #868a8d;
}
h3 {
   border-bottom: 2px dotted #8AAFEF;
}
h3.title  {
    margin-top:0px;
}

h2 a,h3 a, dt a { color: #8AAFEF;  }


/*
h2,h3
{
 color: #8AAFEF;
}

h4
{
 color: #FF9900;
}

h1
{ 
  color: #8AAFEF;
  font-size: large;
}

.navheader table th
{
    color:#FF9900;
}

.section
{
    color:#CCCCCC;
}

*/
.note,.tip,.warning
{
    border-width:1px;
    border-style:solid;
    background-color:#56719E;
    padding-top:30px;
    padding-left:4px;
    padding-right:4px;
    padding-bottom:4px;
}

.tip
{
    background: url(../images/tip32.png) no-repeat #56719E;
}

.warning
{
    background: url(../images/warning32.png) no-repeat #AA2500;
}

.note
{
    background: url(../images/info32.png) no-repeat #56719E;
}

/* Turn off display of text of titles for notes,tips and warnings*/
.note .title, .tip .title, .warning .title
{
    font-size:0px;
}

body
{ 
   margin-top: 1%;
   color:#CCCCCC;
  background-color: #56719E;
  background-color: #555555;
}


/* Fix for annoying white default background with yui css */
html { background-color: transparent; } 


div.navheader,div.navfooter
{
    width:auto;
    background-color: #777777;
    color:white;
    margin:0;
    padding:0;
}

div.navheader,div.navfooter
{
 /* background: url(../images/shade.vers1.gif) repeat-x 0% 85%*/
}

.guibutton { 
  background-color: transparent;
  color: #CCCCCC;
  border: 2px none #76AE65;
  padding-left: 2px;
  padding-right: 2px;  
  font-weight: bold;
  font-family: monospace;
}

img
{
    border-style: none;
}