body {
  background-color: #FAFAFA;
  padding: 5px;
}
h1 {
  color: #aaa;
  font-weight: normal;
  font-family: "Optima";
  font-size: 72px;
  padding: 0 0 0 0;
  margin: 0;
  line-height: 75px;
}
h1 div.bertg {
  background: url('/images/bertg_72.png') no-repeat 4px 12px;
  color: transparent;
  display: inline-block;
  line-height: 75px;
  overflow: visible;
  padding: 0 4px 12px 0;
  margin: 0 -4px 0 0;
}
#page {
  width: 450px;
  color: #999;
  font-family: Times;
  line-height: 1.8;
  padding-left: 50px;
}
p, menu {
}
ol {
  padding-left: 50px;
  margin-left: -50px;
}
  ol li {
    padding-left: 15px;
  }
p em {
  color: #555;
}
#page a {
  border-bottom: 1px dotted #000080;
  color: #000080;
  text-decoration: none;
}
  #page a[rel='external']:after {
    color: black;
    content: ' ⎋';
    font-size: 65%;
  }
  #page a:hover {
    border-bottom-style: solid;
  }
#jswarning {
  background-color: rgba(80, 0, 0, 0.8);
  display: none;
  padding: 1em;
  position: relative;
}
  #jswarning p {
    background-color: rgba(80, 0, 0, 0.8);
    color: rgba(255, 255, 255, 0.8);
    padding: 1em;
  }
  #jswarning p:first-child {
    margin-top: 0;
  }
  #jswarning p:last-child {
    margin-bottom: 0;
  }
.dictionary {
  font-size: 12px;
  left: 520px;
  top: 108px;
  position: absolute;
  width: 300px;
}
  .dictionary .term {
    font-size: 14px;
  }
  .dictionary p {
    color: #999;
    font-family: Times;
    line-height: 14px;
    margin: 0.5em 0;
    padding-left: 0;
  }
dl.dictionary dd {
  margin: 0;
}
  
menu li {
  float: left;
  list-style-type: none;
  margin-right: 1em;
}
menu li a.active {
  color: #aaa !important;
  border-bottom: 0  !important;
}