body, table, div, p, dl {
  font: 400 13px/19px Roboto,sans-serif;
}

h1 {
  font-size:130%;
}

h2 {
  font-size:120%;
}

div.header {
  background-image: none;
  background-color: rgb(242, 242, 242);
}

div.title {
  color: rgb(53, 95, 124);
}

/* Tabs customization */

.tabs, .tabs2, .tabs3 {
    background-image: none;
    background-color: rgb(19, 63, 82);
    width: 100%;
    z-index: 101;
    font-size: 13px;
}

.tabs2 {
    font-size: 10px;
    border-top: 1px solid rgb(28, 78, 99);
}
.tabs3 {
    font-size: 9px;
    border-top: 1px solid rgb(28, 78, 99);
}

.tablist {
    margin: 0;
    padding: 0;
    display: table;
}

.tablist li {
    float: left;
    display: table-cell;
    background-image: none;
    line-height: 36px;
    list-style: none;
}

.tablist a {
    font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
    display: block;
    padding: 0 20px;
    font-weight: bold;
    background-image: none;
    color: rgb(242, 242, 242);
    text-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
    text-decoration: none;
    outline: none;
}

.tabs3 .tablist a {
    padding: 0 10px;
}

.tablist a:hover {
    background-image: none;
    background-color: rgb(28, 78, 99);
    color: rgb(242, 242, 242);
    text-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
    text-decoration: none;
}

.tablist li.current a {
    background-image: none;
    background-color: rgb(28, 78, 99);
    color: #fff;
    text-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
}

/* Customization */

#titlearea
{
  display:none;
  visibility:hidden;
}

#revnumber
{
  text-align: center;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 150%;
}

div.btkmenu
{
  text-align: center;
  padding-top: 1em;
}

div.important
{
  border: 1px solid #FF0000;
  background-color: #FF6666;
  padding: 4px 6px;
  margin: 4px 8px 4px 2px;
}

div.example
{
  border: 1px solid #CCCCCC;
  background-color: #f5f5f5;
  padding: 4px 6px;
  margin: 4px 8px 4px 2px;
}

div.info
{
  border: 1px solid #CCCCCC;
  background-color: #87CEFA;
  padding: 4px 6px;
  margin: 4px 8px 4px 2px;
}
