body {
  font-family: verdana, sans-serif;
}
h1 {
  color: #840;
  background-color: #FFF;
}
key {
  font-size: large;
}
#lang_menu {
  padding-left: 0;
}
#lang_menu li {
  display: inline;
  padding-left: 1em;
}
.download {
  -moz-border-radius: 0.5em;
  padding: 0.5em;
  color: #000;
  background-color: #6F6;
}
kbd {
  font-weight: bold;
  font-size: x-large;
}
p, li {
    line-height: 150%;
}
.demo {
    font-size: x-small;
}
.demo li {
    display: inline-block;
}
.demo img {
    padding: 2em;
    border-style: double;
    border-width: 4px;
    border-color: #840;
}