body {
  font-family: verdana, helvetica, sans-serif;
  font-size: 16px;
  line-height: 140%;
  color: black;
  background-color: #e6f2ff;
}

div.container {
  max-width: 45rem;
  float: center;
  margin: auto;
  padding: 0.5rem 0.5rem;
  background-color: #fefefe;
}

header {
  display: table-row;
  width: 100%;
}

div.header-left, div.header-right {
  display: table-cell;
  vertical-align: top;
  padding: 0.5rem;
}

div.header-right {
  display: table-cell;
  vertical-align: top;
  padding: 0.5rem;
}

nav, footer, article, main {
  display: inline-block;
  width: 100%;
}

a {
  text-decoration: underline;
  color: blue;
  font-weight: normal;
}

a.top {
  font-weight: bold;
  text-decoration: none;
}

ul.menubar {
  list-style-type: none;
  padding-left: 0;
}

ul.menubar li {
  display: inline-block;
  padding-right: 2rem;
  font-weight: bold;
  list-style-type: none;
  font-size: 120%;
}

ul.menubar li a {
  float: left;
  color: blue;
  text-decoration: none;
  list-style-type: none;
  font-weight: bold;
}

ul.menubar li a.highlight {
  color: red;
}

li {
  padding: 0.25rem;
}

th, td {
  padding-right: 1rem;
  padding-bottom: 0.25rem;
}

tt {
  background-color: #f0f0f0;
}

div.figure {
  color: #600000;
  size: 90%;
  display: inline-block;
  float: center;
  text-align: center;
  max-width: 75%;
  margin-left: auto;
  margin-right: auto;
  padding: 0.5rem;
  display: table;
  font-size: 80%;
}

div.theorem {
  color: #000000;
  size: 100%;
  border: 1px solid black;
  display: inline-block;
  float: center;
  text-align: left;
  max-width: 85%;
  margin-left: auto;
  margin-right: auto;
  padding: 0.5rem;
  display: table;
}

img {
  width: 100%;
}

h1 {
  font-size: 150%;
  vertical-align: top;
  font-weight: bold;
  margin: 0;
}

h1.posttitle {
  font-size: 175%;
  font-weight: bold;
/*  color: #f08000; */
}

h2.section {
  font-size: 120%;
  font-weight: bold;
  text-decoration: underline;
/*  color: #f08000; */
}

h2.references {
  font-weight: bold;
}

h2.references a {
  text-decoration: underline;
}

h3 {
  font-size: 100%;
  font-weight: bold;
  display: inline;
}

div.references {
  max-width: 80%;
  float: center;
  margin: auto;
  padding: 0.5rem 0.5rem;
}

div.honey {
  display: none;
}

div.comments {
  max-width: 80%;
  float: center;
  margin: auto;
  padding: 0.5rem 0.5rem;
  background-color: #fdffff;
}

div.onecomment {
  clear: both;
  overflow: hidden;
}

div.commentname {
  font-weight: bold;
  vertical-align: top;
  white-space: nowrap;
}

div.commentsecond {
  display: table-row;
  vertical-align: top;
}

div.commentdate {
  display: table-cell;
  vertical-align: top;
  font-size: 93.75%;
  white-space: nowrap;
}

div.commentbody {
  display: table-cell;
  vertical-align: top;
  font-size: 93.75%;
  padding-left: 2rem;
}

@media screen and (max-width: 720px) {
  div.container {
    max-width: 100%;
  }
  div.header-left, div.header-center, div.header-right {
    display: inline-block;
  }
  ul.menubar li {
    float: initial;
    padding: 0.2rem;
  }
}