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

blockquote > p { margin: 0 }

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

#map_canvas img { max-width: none; }