html, body {
  margin: 0;
  padding: 0;
  width: 100%;
}

* {
  box-sizing: border-box;
}

body {
  font-family: 'Georgia', serif;
  font-size: 16px;
}

.main {
  margin-left: 4em;
  margin-right: 4em;
  margin-bottom: 10em;
}

.header-inner {
  margin-left: 3em;
  margin-right: 3em;
}

.header {
  border-top: 3px solid black;
  border-bottom: 3px solid black;
  padding: 1em 0;
  margin: 1em;
}

.header h1, .header h3 {
  margin: 0;
  margin-top: -.3em;
  font-size: 2em;
  font-weight: normal;
}

.byline a {
  text-decoration: none;
  color: #555;
}

.main p, .main ul, .main ol, .main .highlight, .main .p, .main hr, .mainfig {
  line-height: 1.4em;
  font-size: 18px;
  width: 36em;
  max-width: 65%;
}

.mainfig {
  text-align: center;
}

.mainfig img {
  height: auto;
  max-width: 100%;
}

.mainfig {
  margin: 1em 0 ;
}

.main hr {
  margin-left: 0;
}

.main .highlight {
  overflow: auto;
  background: #f8f8f8;
  padding: 1em;
}

.main .highlight pre {
  margin: 0;
  font-size: 15px;
}

.margin-toggle {
  display: none;
  line-height: 0;
}

.main .marginnote, .main .sidefig {
  display: block;
  float: right;
  clear: both;
  font-size: 16px;
  line-height: 1.4em;
  margin-right: -60%;
  width: 50%;
  min-width: 256px;
}

.main .marginnote, figcaption {
  background: white;
  color: #444;
}

.main ol .marginnote, .main ul .marginnote {
  position: relative;
  left: 1.5em;
}

.main .marginnote img {
  display: block;
  margin-top: 1em;
  margin-bottom: 1em;
}

.date {
  color: #555;
  background: white;
  font-size: 0.9em;
  display: block;
}

.math-label {
  float: right;
}

h1, h2 {
  margin-top: 1em;
  margin-bottom: 0;
  font-size: 2em;
  font-weight: normal;
  clear: both;
}

h1 a, h2 a, h3 a {
  color: inherit;
  text-decoration: none;
}

h1 a:hover, h2 a:hover, h3 a:hover, .byline a:hover {
  text-decoration: underline;
}

.main h3 {
  font-size: 1.2em;
  font-weight: bold;
}

blockquote {
  margin-left: 0;
  padding-left: 1.5rem;
  border-left: solid 3px #ddd;
}

@media (max-width: 960px) {
  .main {
    margin-left: 1em;
    margin-right: 1em;
  }

  .main p, .main ul, .main ol, .main .highlight, .main .p, .mainfig {
    line-height: 1.4em;
    font-size: 1.1em;
    max-width: 60%;
  }

  .main .marginnote {
    margin-right: -65%;
  }

  .header-inner {
    margin-left: 0;
    margin-right: 0;
  }
}

@media (max-width: 760px) {
  .main {
    margin-left: 1em;
    margin-right: 1em;
  }

  .main p, .main ul, .main ol, .main .highlight, .main .p, .mainfig {
    margin-right: 0;
    margin-left: 0;
    width: auto;
    max-width: 100%;
  }

  label.margin-toggle {
    display: inline;
    color: #A00000;
    cursor: hand;
  }

  figure.sidefig {
    float: none;
  }

  .main .marginnote {
    display: none;
    float: left;
    margin: 1em 0;
    padding: 0 1em;
    width: 100%;
  }

  .main .sidefig {
    float: none;
    margin: 1em 0;
  }

  .main ol .marginnote, .main ul .marginnote {
    position: relative;
    left: 0;
  }

  .main .margin-toggle:checked + .marginnote {
    display: block;
  }
}