body {
  font-family: "Adobe Garamond Pro", Georgia, serif;
  margin: 0.4em 1.0em;
  padding: 0px;
}

h1 {
  font-size: 2.0em;
  font-weight: normal;
  margin: 0.4em 0em 0.2em 0em;
  color: #151e32;
}

h2 {
  font-size: 1.7em;
  font-weight: normal;
  margin: 0.4em 0em 0.4em 0em;
  color: #151e32;
}

h3 {
  font-size: 1.4em;
  font-weight: normal;
  margin: 0.4em 0em 0.4em 0em;
  color: #151e32;
}
h4 {
  font-size: 1.2em;
  font-weight: bold;
  margin: 0.4em 0em 0.4em 0em;
  color: #151e32;
}

h5 {
  font-size: 1.0em;
  font-weight: bold;
  margin: 0.4em 0em 0.4em 0em;
  color: #151e32;
}

h6 {
  font-size: 0.8em;
  font-weight: bold;
  margin: 0.4em 0em 0.4em 0em;
  color: #151e32;
}

p {
  font-size: 1.0em;
  line-height: 1.8em;
  margin: 1.2em 0em 1.2em 0em;
  color: #111;
}

pre {
  font-size: 1.2em;
  margin-left: 2em;
}

ol, ul, li {
  font-size: 1.0em;
  color: #111;
}

li > p {
  margin-top: 0.2em;
}

a {
  font-family: verdana, arial, helvetica, sans-serif;
  text-decoration: none;
  font-weight: bold;
  color: #1b4184;
}

a:hover {
  text-decoration: underline;
}

a:active, a:focus {
  outline-style: none;
}

h1 a {
  font-family: "Adobe Garamond Pro", Georgia, serif;
  font-weight: normal;
}

.input input.text {
  font-family: "Adobe Garamond Pro", Georgia, serif;
  font-size: 1em;
  border: 1px solid #111;
  padding: 0.3em;
  vertical-align: top;
  width: 90%;
}

div#story {
  width: 90ex;
  margin: 0em auto 1em auto;
  color: #111;
}

div.input {
  width: 90ex;
  margin: 0em auto 0em auto;
}

p.keyboard {
  background-color: #fcf6ef;
  padding: 0.4em;
  -moz-border-radius: 0px 0px 4px 4px;
  -webkit-border-radius: 0px 0px 4px 4px;
}

span.prompt {
  font-size: 2.0em;
  color: #111;
}

table#status_line {
  width: 90ex;
  border: none;
  margin: 0.2em auto 1em auto;
  background-color: #6f9dbe;
  color: #fcf6ef;
  -moz-border-radius: 4px 4px 0px 0px;
  -webkit-border-radius: 4px 4px 0px 0px;
}

table#status_line tr td {
  text-align: right;
  font-size: 1.2em;
  padding: 0.2em 0.6em;
}

table#status_line tr td a {
  font-family: "Adobe Garamond Pro", Georgia, serif;
  font-weight: normal;
  color: #fcf6ef;
}

table#status_line tr td#location_name {
  text-align: left;
}

span.input_echo {
  font-style: italic;
}

span.indent {
  margin-left: 2em;
}

div#error {
  width: 90ex;
  margin: 0em auto 1em auto;
  display: none;
}

div.hint_list {
  width: 86ex;
  margin: -0.4em auto 1em auto;
  display: none;
  border: 1px solid #888;
  padding: 0em 2ex;
  -moz-border-radius: 8px 0px 8px 0px;
  -webkit-border-radius: 8px 0px 8px 0px;
}

div.hint_list a {
  font-weight: normal;
  text-decoration: underline;
}

div#site_menu {
  width: 100ex;
  text-align: right;
  font-size: 0.8em;
  margin: 2em auto 0em auto;
}

#hints_menu a {
  background-color: #fff;
  padding: 4px;
  border: 1px solid #fff;
}

#hints_menu a.selected {
  background-color: #6f9dbe;
  color: #fcf6ef;
  font-weight: bold;
  -moz-border-radius: 6px 6px 0px 0px;
  -webkit-border-radius: 6px 6px 0px 0px;
}

table#machine_menu {
  width: 100ex;
  font-size: 0.8em;
  margin: -1.0em auto 1em auto;
}

td#hints_menu {
  text-align: left;
}

td#controls_menu {
  text-align: right;
}

.menu a {
  font-weight: normal;
}

div.look_at_me {
  margin: 1em 0em 2em 4em;
  font-size: 1.4em;
}

div.look_at_me a {
  font-weight: normal;
}

div.questions {
  margin: 2em;
  width: 90ex;
}

table.stats {
  border: 1px solid #111;
  border-collapse: collapse;
  margin: 2em;
  float: left;
}

table.stats tr th {
  padding: 0.2em 1em;
}

table.stats tr td {
  border: 1px solid #111;
  padding: 0.2em 1em;
}

th.stats_title {
  font-family: verdana, arial, helvetica, sans-serif;
  background-color: #6f9dbe;
  color: #fcf6ef;
}

th.stats_header {
  font-family: verdana, arial, helvetica, sans-serif;
  border-bottom: 1px solid #111;
  background-color: #6f9dbe;
  color: #fcf6ef;
}

.stats_text {
  text-align: left;
}

.stats_number {
  text-align: center;
}

form#beta_signup {
  margin: 2em;
  width: 60ex;
}

form#beta_signup .text {
  width: 90%;
  background-color: #fcf6ef;
}

form#beta_signup .checkbox {
  background-color: #fcf6ef;
}

form#beta_signup .textarea {
  width: 90%;
  background-color: #fcf6ef;
}