.guibutton {
  font-weight: bold;
  font-family: monospace;
}
.guimenu {
  font-weight: bold;
  font-family: monospace;
}
.guimenuitem {
  font-weight: bold;
  font-family: monospace;
}
.example {
  background-color:#E8E8E8;
  border-bottom-left-radius: 5px;
  border-bottom-right-radius: 5px;
  border-top-right-radius: 5px;
  border-top-left-radius: 5px;
  border-top-width: 1px;
  border-right-width: 1px;
  border-left-width: 1px;
  border-bottom-width: 1px;
  border-top-style: solid;
  border-right-style: solid;
  border-left-style: solid;
  border-bottom-style: solid;
  padding-left:1em;
}
div.note, div.important, div.warning {
  border-bottom-left-radius: 5px;
  border-bottom-right-radius: 5px;
  border-top-right-radius: 5px;
  border-top-left-radius: 5px;
  padding-left:5px;
  padding-top:1em; 
  margin-top: 1em;
  margin-bottom: 1em;
  border-top-width: 1px;
  border-right-width: 1px;
  border-left-width: 1px;
  border-bottom-width: 1px;
  border-top-style: solid;
  border-right-style: solid;
  border-left-style: solid;
  border-bottom-style: solid;
  border: medium none #F00;
}
div.note {
  border-color:black;
}
div.important {
  background-color:#4A5D75;
  border-color:black;
  color:white;
}
div.warning {
  background-color:#7B1E1E;
   border-color:black;
}
div.note h2 {
  color:white; 
}
table {  
    border-collapse: collapse;
}
.revhistory > table:nth-child(1) > tbody:nth-child(1) > tr:nth-child(1), .table-contents > table:nth-child(1) > thead:nth-child(2)  {
    background-color: black;
    color: white;
}
.table-contents th, .table-contents td, .revhistory th, .revhistory td {
	padding-top:3px; 
	padding-right:7px; 
	padding-bottom:3px; 
	padding-left:7px; 
}
.navfooter > table:nth-child(2) > tbody:nth-child(1) > tr:nth-child(1) > td:nth-child(4) > a:nth-child(1) {
  background: url('images/next.png') no-repeat scroll right top transparent;
  padding-top: 10px;
  padding-bottom: 15px;
  height: 40px;
  padding-right: 50px;
}
.navfooter > table:nth-child(2) > tbody:nth-child(1) > tr:nth-child(1) > td:nth-child(1) > a:nth-child(1) {
  background: url('images/prev.png') no-repeat scroll left top transparent;
  padding-top: 10px;
  padding-bottom: 15px;
  height: 40px;
  padding-left: 50px;
}
.navfooter > table:nth-child(2) > tbody:nth-child(1) > tr:nth-child(1) > td:nth-child(2) > a:nth-child(1) {
  background: url('images/up.png') no-repeat scroll left top transparent;
  padding-top: 10px;
  padding-bottom: 15px;
  height: 40px;
  padding-left: 50px;
}
.navfooter > table:nth-child(2) > tbody:nth-child(1) > tr:nth-child(1) > td:nth-child(3) > a:nth-child(1) {
  background: url('images/home.png') no-repeat scroll left top transparent;
  padding-top: 10px;
  padding-bottom: 15px;
  height: 40px;
  padding-left: 50px;
}
#header > a:nth-child(1) > img:nth-child(1) {
  margin-top: -5px;
}