/* Basic appearance */

body {
  color: #121;
  background: #fff;
  background-image: url(gfx/hyper-julia-1280.jpg);
  background-repeat: no-repeat;
  font-family: "DejaVu Serif", serif;
  font-weight: normal;
  font-size: medium;
}

div.article {
  max-width: 47em;
  margin-left: 80px;
  padding-left: 1em;
  border-width: 0px 0px 0px 1px;
  border-style: solid;
  border-color: #68f;
}

/* Just like article, but width is in pixels. */
div.gallery {
    max-width: 850px;
    margin-left: 80px;
    margin-bottom: 3em;
    padding-left: 1em;
    border-width: 0px 0px 0px 1px;
    border-style: solid;
    border-color: #68f;
}

div.plain-article {
  margin-left: 1em !important;
  border-width: 0px !important;
}

a:link { color: #138; }
a:visited { color: #005; }
a:hover { color: #000; }
a:active { color: #000; }

img {
    border-width: 0px;
}

/* Navigation */

div.navigation {
  margin-top: 0em;
  position: absolute;
  top: 0px;
  bottom: auto;
  left: 0px;
  right: auto;
  border-width: 0px;
  padding-top: 1em;
  background-color: transparent;
}

div.navigation p, div.navigation div {
  display: block;
  text-align: center;
  margin-top: 0px;
  margin-bottom: 5px;
  margin-right: 0px;
  margin-left: 5px;
}

div.navigation p a {
  font-size: small;
  font-weight: normal;
  font-family: "DejaVu Sans", sans-serif;
  display: block;
  padding: 2px;
  width: auto;
  background-color: transparent;
  margin: 0px;
  border-width: 1px;
  border-style: solid;
  border-color: transparent;
  border-radius: 13px;
}

div.navigation p a:hover {
  border-color: #6a6;
  background-color: #fff;
}

/* Text styles */

span.date {
  color: #500;
  /* font-family: "DejaVu Sans Mono", monospace; */
}

span.page-ref {
  color: #80b;
}

span.digression {
  font-size: smaller;
}

div.digression {
  font-size: smaller;
  margin-left: 2em;
}

/* Table styles */

table.grid {
  border-width: 1px;
  border-style: solid;
  border-collapse: collapse;
}

table.grid td {
  border-width: 1px;
  border-style: dotted;
  padding: 0.2em;
}

table.tiny-grid {
  border-width: 1px;
  border-style: solid;
  border-collapse: collapse;
  width: 60em;
}

table.tiny-grid td {
  border-width: 1px;
  border-style: dotted;
  padding: 0.2em;
  font-size: small;
}

td.long {
  width: 40em;
}

/* Article title */

h1 {
  font-size: x-large;
  border-bottom: 1px black dotted;
}

h2 {
  font-size: large;
  font-weight: bold;
  text-align: center;
  text-decoration: underline;
}

h3 {
  font-size: large;
  font-weight: bold;
}

h4 {
  font-size: medium;
  font-weight: bold;
  font-style: italic;
}

h5 {
  font-size: small;
  font-weight: bold;
  font-style: italic;
}

div.block-quote {
  font-size: smaller;
  margin-left: 2em
}

div.footnote {
  font-size: smaller;
  margin-top: 64em;
  border-top: 1px green dotted;
}

span.code, div.code {
  font-family: "DejaVu Sans Mono", monospace;
}

span.quote, span.italic, span.term {
  font-style: italic;
}

span.strike {
  text-decoration: line-through;
}

span.highlight {
  color: #b33;
  font-weight: bold;
}

span.emphasis {
  font-weight: bold;
}

span.underline {
  text-decoration: underline;
}

/* Classy book-style separator, like three asterisks. */
div.separator {
  text-align: center;
}

.imported-listing {
  width: 100%;
  height: 40em;
  padding-left: 5px;
  border-width: 1px;
  border-color: white;
  border-style: inset;
  background-color: #ded;
}

/* mgallery styles */

div.roll-description {
    background-color: #eef;
    padding: 10px;
    box-shadow: 5px 5px 5px #aac;
    max-width: 800px;
    min-height: 110px;
    margin-bottom: 1em;
}

div.roll-description img {
    vertical-align: top;
    margin-right: 1em;
    float: left;
    border-width: 4px;
    border-color: transparent;
    border-style: solid;
    padding: 2px;
}

div.roll-description img:hover {
    border-color: #285;
}

div.flat-image-box {
    background-color: #eef;
    padding: 10px;
    box-shadow: 5px 5px 5px #aac;
    margin-bottom: 2em;
    max-width: 800px;
}

div.album-image-box {
    background-color: #eef;
    padding: 10px;
    box-shadow: 5px 5px 5px #aac;
    min-height: 650px;
    max-width: 800px;
}

p.gallery-buttons a {
    background-color: #dde;
    padding: 5px;
    font-weight: bold;
    text-decoration: none;
    border-width: 1px;
    border-color: #aaa;
    border-style: outset;
    border-radius: 7px;
    color: black;
}

p.gallery-buttons span.disabled {
    background-color: #eef;
    padding: 5px;
    font-weight: bold;
    text-decoration: none;
    border-width: 1px;
    border-color: #aaa;
    border-style: inset;
    border-radius: 7px;
    color: #555;
}

p.gallery-buttons a:hover {
    background-color: #fff;
}

/* Teaching-related stuff. */

/* A highly visible div. */
div.update {
  border-width: 2px;
  border-style: groove;
  border-color: #fff;
  border-radius: 17px;
  padding: 1em;
  background-color: rgba(255,255,255,0.5);
}

p.figure {
  text-align: center;
}

div.Rcode {
  font-family: "DejaVu Sans Mono", monospace;
  color: black;
  background-color: #eee;
  padding: 1em;
}

div.Rout {
  font-family: "DejaVu Sans Mono", monospace;
  color: black;
  background-color: #bce;
  padding: 1em;
}

div.Rout pre {
  font-family: "DejaVu Sans Mono", monospace;
}