#top {
  width: 100%;
  height: 92px;
  background: #ffb200 url("mightymandel.png") no-repeat left top;
  border-bottom: 1px solid black;
}

#top h1, #top h2 {
  background: transparent;
  margin-left: 16px;
}

@font-face {
  font-family: LMSans10;
  font-style: normal;
  font-weight: normal;
  src: url("style/lmsans10-regular.otf") format("opentype");
}

@font-face {
  font-family: LMSans10;
  font-style: normal;
  font-weight: bold;
  src: url("style/lmsans10-bold.otf") format("opentype");
}

@font-face {
  font-family: LMSans10;
  font-style: oblique;
  font-weight: normal;
  src: url("style/lmsans10-oblique.otf") format("opentype");
}

@font-face {
  font-family: LMSans10;
  font-style: oblique;
  font-weight: bold;
  src: url("style/lmsans10-boldoblique.otf") format("opentype");
}

@font-face {
  font-family: LMMono10;
  src: url("style/lmmono10-regular.otf") format("opentype");
}

/* again with numeric font weights, 400=normal and 700=bold, browser bug? */

@font-face {
  font-family: "LMSans10";
  font-style: normal;
  font-weight: 400;
  src: url("style/lmsans10-regular.otf") format("opentype");
}

@font-face {
  font-family: "LMSans10";
  font-style: normal;
  font-weight: 700;
  src: url("style/lmsans10-bold.otf") format("opentype");
}

@font-face {
  font-family: "LMSans10";
  font-style: oblique;
  font-weight: 400;
  src: url("style/lmsans10-oblique.otf") format("opentype");
}

@font-face {
  font-family: "LMSans10";
  font-style: oblique;
  font-weight: 700;
  src: url("style/lmsans10-boldoblique.otf") format("opentype");
}

* { overflow: visible; }
pre { overflow: auto; }

html, body, h1, h2, h3, h4, h5, h6, div, span, p, ul, li {
    margin:  0;
    border-width:  0;
    padding: 0;
}

html { font-family: LMSans10, sans-serif; }
pre  { font-family: LMMono10, monospace, fixed; font-size: 85%; }

h1, h2, h3, h4, h5, h6 {
    font-weight:   bold;
}
h1 { font-size: 200%; }
h2 { font-size: 120%; }
h3 { font-size: 150%; }
h4 { font-size: 140%; }
h5 { font-size: 130%; }
h6 { font-size: 120%; }

a { text-decoration: none; }

#body h1,
#body h2,
#body h3,
#body h4,
#body h5,
#body h6 {
  display: inline-block;
  width: 328px;
  padding: 16px;
}
#body ul {
  display: inline-block;
  list-style-type: none;
}
#body ul li {
  display: inline-block;
  list-style-type: none;
  margin-right: 16px;
}

p { margin-bottom: 10px; text-align: justify; }

div.gallery { width: 1908px; }
div.gallery img { vertical-align: top; padding-top: 16px; padding-bottom: 16px; }
div.gallery pre { float: right; text-align: right; padding: 16px; }

a img { border-width: 1px; }

div.separator { float: none; clear: both; display: block; width: 100%; border-top: 1px solid black; height: 1px; line-height: 1px; }

* { border-color: #593e00; color: black; background-color: white; border-style: solid; border-width: 0; }
a { color: #b37d00; background-color: white; }
a:visited { color: #593e00; background-color: white; }

a img { border-width: 0; vertical-align: baseline; }
a > img { border-width: 0; }