/* Compatibility */
body {
  font-family: serif;
}
h1,h2,h3,h4,h5,h6 {
  font-family: serif;
}
pre {
  font-family: monospace;
}

/* Margins and sizes */
body {
  margin-left: 10%;
  margin-right: 10%;
}
h1 {
  font-size: 160%;
  margin-left: -8%;
}
h2 {
  font-size: 140%;
  margin-left: -4%;
}
h3 {
  font-size: 120%;
  margin-left: -2%;
}
h4,h5,h6 {
  margin-left: -1%;
  font-size: 110%;
}

/* Global heading styles */
h1,h2,h3,h4,h5,h6 {
  font-weight: normal;
}

/* Quotes */
q {
  font-style: italic;
}

/* Link colors */
a:link {
  color: rgb(80, 80, 80);
}
a:visited {
  color: rgb(160, 160, 160);
}

/* Links within the site */
a.local {
}

/* Links to other sites */
a.external {
}

/* Copyright line */
p.copyright {
  margin-top: 2em;
  margin-right: -10%;
  font-size: 50%;
  text-align: right;
}

p.term {
  margin-top: 2em;
  margin-left: -2%;
}

p.wide {
  margin-bottom: 2em;
}

/* Image button row paragraph */
p.buttons {
  margin-top: 2em;
  margin-left: -6%;
}

/* Word definition paragraphs */
p.definition {
  font-size: 90%;
}

/* Back link paragraph */
p.backlink {
  border-top: solid;
  border-width: thin;
  padding-top: 0.5em;
  margin-top: 2em;
}

/* Example blocks of code or other text */
pre.example {
  border: solid;
  border-width: thin;
  padding: 0.5em;
  width: 100%;
}

table.thin {
  /*border: solid;
  border-width: thin;*/
}

tr.header {
  background-color: rgb(204, 204, 204);
  font-weight: bold;
}

td {
  padding: 0.2em;
  vertical-align: text-top;
}

li {
  margin-bottom: 1.2em;
}

.prose {
  text-align: justify;
}

img.comic {
  border-width: 2px;
  border-style: solid;
}