body {
  font-family: monospace;
  font-size: 100%;
  background-color: white;
  color: #111;
  width: 80%;
  min-width: 400px;
  min-height: 200px;
  padding: 1em;
  margin: 5% 10%;
  border: thin solid gray;
  border-radius: 5px;
  display: block;
}

a:link    { color: blue; text-decoration: none;      }
a:hover   { color: blue; text-decoration: underline; }
a:visited { color: blue;                             }

h1 a { color: inherit !important }
h2 a { color: inherit !important }
h3 a { color: inherit !important }
h4 a { color: inherit !important }
h5 a { color: inherit !important }
h6 a { color: inherit !important }

#menu li {
    display: inline;
}

#post-list {
    margin-bottom: 1em;
    margin-top: 1em;
}

pre {
    margin: 2em 1em 2em 4em;
    white-space: pre-wrap;
}

/* Mobile and portrait orientation styles */
@media screen and (max-width: 768px), (orientation: portrait) {
  body {
    width: 95%;
    min-width: unset;
    padding: 0.5em;
    margin: 2% 2.5%;
    border: none;
    border-radius: 0;
  }
  
  pre {
    margin: 1em 0.5em 1em 1em;
    overflow-x: auto;
  }
}

/* Extra small screens */
@media screen and (max-width: 480px) {
  body {
    width: 100%;
    padding: 0.25em;
    margin: 0;
    font-size: 90%;
  }
  
  pre {
    margin: 0.5em 0;
    font-size: 85%;
  }
}