h1 { text-align: center }
.catchphrase {
  text-align: center;
}
.catchphrase a {
  text-decoration: none;
}
.catchphrase a:hover {
  text-decoration: underline;
}
.copyright { 
  color: gray;
  text-align: center;
}

.examples { font-size: 75% }

body {
  /* safari needs more: */
  position:absolute;
  margin: 0px;
  padding: 10px;
  top: 0px;
  left: 0px;
  right: 0px;
  bottom: 0px;
}
.window {
  background: white;

  position: absolute;
  top: 10px;
  bottom: 10px;
  left: 10px;
  right: 10px;
  overflow: auto;

  -moz-border-radius: 10px;
  -webkit-border-radius: 10px;
}

form input {
  font-size: 125%;
}
form input#re {
  font-family: monospace;
}

.guts {
  margin-top: 3em;
  margin-bottom: 3em;
}

.center {
  margin-left: auto;
  margin-right: auto;
}

.footer {
  color: #333;
  font-size: 80%;
}