.navbar {
  overflow: hidden;
  margin: 0.0em;
  padding-right: 0.5em;
  background: #f0f0f0;
  line-height:1.0;
}
.on  {
  color: black;
  background: #ccf;
  border: inset #ccf;
}
.on:hover  {
  color: black;
  background: #ccf;
  font-size: 100%;
}
.off {
  color: black;
  background: #ccc;
  border: outset #ccc;
}
.off:hover  {
  color: black;
  background: #ccc;
  font-size: 100%;
}
.on, .off {
  float: left;
  padding: 10px;
  border-width: 3px;
}
.on:hover, .off:hover {
  padding: 6px;
  border-width: 7px;
}
.icon {
  float: right;
  border: 0px;
  width: 88px;
  height: 31px;
}
.nerd {
  float: right;
  border: 0px;
  width: 105px;
  height: 105px;
}
.left {
  float: left;
  border: 0px;
  padding-right: 2em;
}
.leftplus {
  float: left;
  border: 2px;
  padding-right: 1em;
}
.shift {
}
.link, .ext {
  padding-right: 0.2em;
  padding-left: 0.2em;
  border-left: solid;
  border-right: solid;
  border-width: 0.5em;
  color: #00c;
}
.ext:visited, .link:visited {
  color: black;
}
.link {
  border-color: #ccf;
  background: #eef;
}
.ext {
  border-color: #ecc;
  background: #fee;
}
a {
  text-decoration: none;
}
a:hover {
  font-size: 130%;
  line-height: 1.0;
}
body {
  background: #fefefe;
  color: black;
  line-height:1.5;
}
h1 {
  color: #000;
  background: #ccf;
  clear: both;
  padding-left: 0.2em;
}
h2 {
  clear: both;
}
dl {
  width: 90%;
  clear: both;
}
dt {
  color: #000;
  background: #eee;
  margin-top: 0.4em;
  clear: both;
}
dd {
  color: #000;
  font-style: italic;
  clear: both;
}
.clear {
  clear: both;
}
.scale {
  position: relative;
  bottom: -0.3em;
  height:1.2em;
  width:auto;
}
@media print {
  .navbar {
    display: none;
  }
  .link, .ext {
    padding-right: 0em;
    padding-left: 0em;
    border-left: none;
    border-width: 0em;
    color: black;
  }
  a:hover {
    font-size: 100%;
    line-height: 1.0;
  }
  body {
     line-height: 1.0;
  }
}