body {
  font-family: Helvetica, serif;
  font-size: 20px;
  background-color: #EEE;
  color: #333;
}

@media screen and (min-width: 500px) {
  div#everything {
    margin-right: auto;
    margin-top: 1em;
    margin-left: 1em;
    max-width: 50em;
    min-width: 35em;
    /*
     * I don't know what the upside of this was; downside is that it
     * was clipping the QC and polyomino apps (only in chrome); so just
     * disabling it for now
     */
    /* overflow: hidden; */
  }
}

div#header {
    padding-bottom: 0.2em;
    border-bottom: 3px double black;
}
@media screen and (max-width: 500px) {
  div#header {
      font-size: 12px;
  }
}

div#header a {
    text-decoration: none;
}

div#header_right {
    float: right;
}

a {
    color: #333;
}

a:hover {
    text-decoration: none;
}

h1 {
    font-size: 200%;
}

div.post_body h2 {
    font-size: 166%;
    /* text-align: center; */
    /* font-weight: bold; */
    /* font-weight: inherit; */
    margin-top: 30px;
}

.things-content {
  background-color: #eeeeee;
  color: #333;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 13px;
  line-height: 18px;
}