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

div#everything {
    margin-right: auto;
    margin-top: 1em;
    margin-left: 1em;
    max-width: 50em;
    min-width: 35em;
    overflow: hidden;
}

div#header {
    padding-bottom: 0.2em;
    border-bottom: 3px double black;
}

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;
}

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