html {
  background-color: #f0f0f0;
}

#page { 
  font: 10px 'Lucida Grande', Geneva, Verdana, Arial, sans-serif;
  font-size: small;
  width: 90%;
  background-color: #ffffff;
  margin: 0px auto 0px auto;
}

#header { 
  background-color: #aaaaee;
  margin: 0px 0px 0px 0px;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
}

#header h1 { 
  color: #eeeeff;
  text-indent: 40px;
}

.sf { 
  float: right;
  position: relative;
  top: -18px;
  right: 10px;
}

.flag { 
  margin: 3px 5px 3px 5px;
}

.flag img { 
  border: 1px solid black;
  width: 18px;
  height: 11px;
}

h2 { 
  font-size: medium;
  text-align: center;
  text-decoration: none;
  margin: 20px 0px 0px 0px;
}

h3 { 
  font-size: small;
  text-align: center;
  text-decoration: none;
  margin: 15px 0px 0px 0px;
}

p { 
  text-indent: 10px;
  margin: 10px 40px 10px 40px;
}

.indented { 
  margin: 10px 40px 10px 40px;
}

p.syntax { 
  text-indent: 0px;
}

pre { 
  margin: 0px 10px 10px 10px;
  padding: 10px 5px 10px 5px;
  border: 1px dashed #e0e0e0;
  background: #eeeeee;
  color: #000000;
}

.exampleimage { 
  margin: 10px 10px 10px 10px;
  border: 1px dashed #e0e0e0;
}

.figure { 
  width: 400px;
  text-align: center;
  padding-top: 5px;
  margin: 5px auto 5px auto;
  border: 1px dashed gray;
}

.navbar { 
  margin: 0px 0px 0px 0px;
  padding: 2px 9px 2px 9px;
  background-color: #e0e0e0;
  border-bottom: 1px solid black;
}

.navbar a { 
  padding: 0px 5px 0px 5px;
  text-decoration: none;
}

.navbar a:hover { 
  text-decoration: underline;
}

a { 
  text-decoration: none;
}

a:hover { 
  text-decoration: underline;
}

#sf { 
  border: 0px solid black;
}

.cmdtable { 
  margin: 20px auto 20px auto;
}

.cmdname { 
  font-size: large;
  font-weight: bold;
  width: 100%;
}

.label { 
  color: #888888;
}

.cmdnav { 
  font-size: small;
  padding: 0px 2px 0px 2px;
  margin: 0px 0px 0px 0px;
  display: block;
  width: 100%;
}

.cmdnav:hover { 
  background-color: #dddddd;
  text-decoration: none;
  display: block;
  width: 100%;
}

#screenshots { 
  clear: both;
  float: right;
  margin: 5px 9px 5px 9px;
  text-align: center;
}

#screenshots p{ 
  font-size: x-small;
  margin: 1px 1px 1px 1px;
}