body {
  background: white;
  margin: 5%;
  line-height: 1.5;
}
h1 {
  font-size: 2em;
}
h2 {
  font-size: large;
  margin: 2em 0em 0em 0em;
  padding: 0.2em 0.5em;
  border-width: thin;
  border-color: white;
  background-color: #99F;
  clear: both;
}
h3 {
  margin: 1em 0em 0em 0em;
  padding: 0.2em 0.5em;
  border-style: solid;
  border-width: 0px 0px 0px 20px;
  border-color: #99F;
}
pre {
  color: maroon;
  margin-left: 2em;
  overflow: auto;
  line-height: 1.2;
}
code, tt { color: maroon }
pre:hover { background: #EEE; }
pre:active { background: #CCC; }
em { font-style: normal; color: #F30 }
a:hover, a:focus, a:active { color: red }
a[name]:hover, a[name]:focus, a[name]:active { color: black }
img { border-style: none }
td, th { padding: 0.2em 0.7em }
td { text-align: right }
th { text-align: center }
del { color: gray }
button {
  font-weight: bold;
  padding: 0.5em 1em;
  background-color: #EEE;
  border-radius: 0.7em
}
.cell {
  padding: 0.5em 1em;
  margin: 0;
  border-left: 1em solid #CCC;
  background: #f4f4f4;
  box-shadow: 0 0.2em 0.3em rgba(0, 0, 0, 0.3);
}
.note {
  margin-left: 0em;
  padding-left: 1.5em;
  border-left: #FC3 solid 0.5em;
  line-height: 1.3;
}
.left { float: left; margin: 0em 1em 1em 0em; border-style: none }
.right { float: right; margin: 0em 0em 1em 1em; border-style: none }
.old { background: #FFC; }
.me { text-decoration: underline; }
#breadcrumbs { font-size: 90% }
#breadcrumbs + h1 { margin-top: 0 }
#breadcrumbs + article > h1 { margin-top: 0 }

div.math { margin-left: 2em }

hr { clear: both }

@media print {
  body { margin: 0%; }
  h2 {
    font-size: 1.5em;
    padding: 0;
    background-color: white;
  }
  h3 {
    padding: 0;
    border-width: 0;
  }
  a:link, a:visited { color: black; }
  a:link:after, a:visited:after {
    font-size: 50%;
    content: " (" attr(href) ") ";
  }
  code, pre { color: black; }
  pre { overflow: visible; }
  em { font-style:italic; color: black }
}

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