body { 
  background-color: #eeeeee;
  color: #000000;
  font-family: sans-serif;
}

/* header */
div[class~="navheader"] {
  background: #DFDFDF url(../images/navigation/banner.png) repeat-x;
  height: 65px; /* Should be 60 but Firefox cuts a few pixels off bottom */
}

div[class~="navbreadcrumb"] {
  background: #afafaf;
}

th[class~="title"] {
  font-size: 200%;
  vertical-align: middle;
  line-height: 60px;
}

hr {
  color: #770000;
  background-color: #770000;
  height: 2px;
  margin: 0px 0px 0px 0px; /* Remove gap on either side of line */
  border: none; /* Otherwise Firefox will show a gray border, covering the red */
  
}

/* Collapsible TOC */
div.toc li ul {
  display: none;
}

div.toc li:hover > ul {
  display: block;
  position: absolute;
  left: 12em;
  background: #bbbbbb;
  padding: 0px 20px 0px 30px;
  border: 2px solid #770000;
}

div.toc li {
  width: 25em;
}

div.toc ul {
}

div.toc li:hover {
  background-color: #cccccc;
}

/* Admons */
div[class~="tip"] {
  padding: 8px;
  border: solid 2px #AFAFAF;
  background: #EFEFEF;
  -moz-border-radius: 12px;
}

div[class~="note"] {
  padding: 8px;
  border: solid 2px #AFAFAF;
  background: #EFEFEF;
  -moz-border-radius: 12px;
}

div[class~="warning"] {
  padding: 8px;
  border: solid 2px #AFAFAF;
  background: #EFEFEF;
  -moz-border-radius: 12px;
}

div[class~="screenshot"] {
  padding: 8px;
}


div[class~="mediaobject"] {
  padding: 8px;
  border: solid 2px #AFAFAF;
  background: #EFEFEF;
  -moz-border-radius: 12px;
}

a img {border: none; }

.keycap {
  background-color: #DFDFDF;
  padding: 0px 5px;
  border: solid 2px #AFAFAF;
  margin: 0;
  -moz-border-radius: 5px;
}

/*
.guilabel, .guimenu, .guisubmenu, .guimenuitem, .guibutton {
  background-color: #CFCFCF;
  padding: 2px;
  -moz-border-radius: 5px;
}
*/

/*
.guiicon {
  background-color: #FF0000;
  padding: 1px;
}
*/

p {
  text-align: justify;
}