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 */
  
}

/* footer */
div[class~="navfooter"] hr {
  clear:both;
}

/* 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;
  border-radius: 12px;
  -webkit-border-radius: 12px;
  -moz-border-radius: 12px;
}

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

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

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


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

div[class~="sidebar"] {
  float:right;
  width:434px;
  border: solid 2px #800000;
  padding:12px;
  margin-left: 10px;
  margin-top: 8px;
  margin-bottom: 8px;
  background: #AFAFAF;
  border-radius: 12px;
  -webkit-border-radius: 12px;
  -moz-border-radius: 12px;
  clear:right;
}

a img {border: none; }
a img[class~="bookcover"] {
  border: solid 2px #000000;
}

h1[class="title"] {
    display:none;
}


h2[class="subtitle"] {
    display:none;
    text-align:center;
}

h2[class="subtitle2"] {
    text-align:center;
    margin-bottom:0;
    padding:0;
}

h3[class="author"] {
    font-style:italic;
    text-align:center;
    margin:0;
    padding:0;
}

p[class="bookcover"] {
  text-align: center;
}

table[class="guide"] {
  clear:both;
}

table[class="bookcover"] {
  margin-right:auto;
  margin-left:auto;
  clear:both;
}

div[class="bookcover"] {
  float:right;
  width:450px;
  border: solid 2px #800000;
  padding:4px;
  margin-left: 10px;
  background: #AFAFAF;
  border-radius: 12px;
  -webkit-border-radius: 12px;
  -moz-border-radius: 12px;
  clear:both;
}

p[class="instock"] {
    color:#800000;
    font-style:italic;
    text-align:center;
}

div[class="abstract"] {
  float:right;
  width:434px;
  border: solid 2px #800000;
  padding:12px;
  margin-left: 10px;
  margin-top: 8px;
  margin-bottom: 8px;
  background: #AFAFAF;
  border-radius: 12px;
  -webkit-border-radius: 12px;
  -moz-border-radius: 12px;
  clear:right;
}

div[class="abstract"] p[class="title"] {
    text-align:center;
}

td[class~="blog"] {
  margin: 4px;
  padding: 4px;
}

td[class~="comments"] {
  text-align:right;
  margin: 4px;
  padding: 4px;
}

td[class~="comments"] p {
  text-align:right;
}

td[class="guide"] {
  vertical-align: top;
  margin: 4px;
  padding: 4px;
  border: solid 2px #AFAFAF;
  background: #DDDDDD;
  border-radius: 12px;
  -webkit-border-radius: 12px;
  -moz-border-radius: 12px;
}
  
.ulinklanguage a:link{    font-size: larger; font-style: italic; color: #800000; } 
.ulinklanguage a:visited{ font-size: larger; font-style: italic; }
.ulinklanguage a:active{  font-size: larger; font-style: italic; }
.ulinklanguage a:hover{   font-size: larger; font-style: italic; }

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

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

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

p {
  padding-left: 10px;
  padding-right: 10px;
  text-align: justify;
}