body {
  margin: 0 auto 4ex auto;
  max-width: 31em;

  text-align: justify;
  text-justify: inter-word;
  word-wrap: break-word;
  hyphens: auto;

  color: black;

  line-height: 1.5;

  font-size: 1.333em;
  font-family: 'EBG12-Re', 'FreeSerif', 'Fallback', serif;

  font-variant: oldstyle-nums common-ligatures discretionary-ligatures contextual;
  -moz-font-variant: oldstyle-nums common-ligatures discretionary-ligatures contextual;
  -ms-font-variant: oldstyle-nums common-ligatures discretionary-ligatures contextual;
  -o-font-variant: oldstyle-nums common-ligatures discretionary-ligatures contextual;
  -webkit-font-variant: oldstyle-nums common-ligatures discretionary-ligatures contextual;

  font-feature-settings: 'onum', 'liga', 'dlig', 'calt';
  -moz-font-feature-settings:'onum', 'liga', 'dlig', 'calt';
  -ms-font-feature-settings: 'onum', 'liga', 'dlig', 'calt';
  -o-font-feature-settings: 'onum', 'liga', 'dlig', 'calt';
  -webkit-font-feature-settings: 'onum', 'liga', 'dlig', 'calt';
}

a {
  color: black;
  text-decoration: underline dotted #c0c0c0;
}

a:hover, a:focus {
  color: #23527c;
}

#site_title {
  color: #df2020;
  font-size: 2em;
  font-weight: normal;
  line-height: 1.1;
  text-align: center;
  margin-top: 3ex;

  font-variant: small-caps;

  font-feature-settings: 'smcp';
  -moz-font-feature-settings: 'smcp';
  -ms-font-feature-settings: 'smcp';
  -o-font-feature-settings: 'smcp';
  -webkit-font-feature-settings: 'smcp';
}

#site_title a {
  color: #df2020;
  text-decoration: none;
}

#head_nav {
  text-align: center;
}

#head_nav ul.mhlist li:before {
  margin: 0 0.5em;
}

#copyright {
  font-size: 0.8em;
  float: right;
}

#foot_nav {
  text-align: center;
}

#foot_nav ul.mhlist {
  display: inline;
}

#foot_nav ul.mhlist li:before {
  margin: 0 0.5em;
}

.aldus {
  text-align: center;
  margin: 1em auto;
  clear: both;
}

.cp_name {
  font-variant: all-small-caps;
  -moz-font-variant: all-small-caps;
  -ms-font-variant: all-small-caps;
  -o-font-variant: all-small-caps;
  -webkit-font-variant: all-small-caps;

  font-feature-settings: 'c2sc', 'smcp';
  -moz-font-feature-settings: 'c2sc', 'smcp';
  -ms-font-feature-settings: 'c2sc', 'smcp';
  -o-font-feature-settings: 'c2sc', 'smcp';
  -webkit-font-feature-settings: 'c2sc', 'smcp';
}

#flashes {
  color: white;
  background-color: black;
  padding: 5pt 10pt;
  border-radius: 0 0 5pt 5pt;
}

.todo {
  background-color: #ffff00;
}

/*
 * Horizontal unnumbered list
 */

ul.hlist {
  padding: 0;
}

ul.hlist li {
  display: inline;
}

/*
 * Archival note
 */

body {
  overflow-x: hidden;
}

#archival_note {
  position: fixed;
  top: 0;
  left: 50%;
  width: 500%;
  margin: 0 0 0 -250%;
  padding: 0.5em 0;
  text-align: center;
  background: #f7c7c7;
  font-weight: bold;
}

#archival_note a {
  text-decoration: underline dotted black;
}

#archival_note + #site_title:before {
  content: "";
  display: block;
  margin: 0;
  padding-bottom: 3ex;
}

/*
 *  Mid-dot separated horizontal unnumbered list
 */

ul.mhlist {
  padding: 0;
}

ul.mhlist li {
  display: inline;
}

ul.mhlist li::before {
  content: ' · ';
}

ul.mhlist li:first-child::before {
  content: '';
}

/*
 * Front
 */

.front h1 {
  text-align: center;

  font-variant: all-small-caps;
  -moz-font-variant: all-small-caps;
  -ms-font-variant: all-small-caps;
  -o-font-variant: all-small-caps;
  -webkit-font-variant: all-small-caps;

  font-feature-settings: 'c2sc', 'smcp';
  -moz-font-feature-settings: 'c2sc', 'smcp';
  -ms-font-feature-settings: 'c2sc', 'smcp';
  -o-font-feature-settings: 'c2sc', 'smcp';
  -webkit-font-feature-settings: 'c2sc', 'smcp';
}

.front p {
  font-size: 1.5em;
}

/*
 * CNF, VNF, bib display
 */

.nym {
  font-weight: bold;
}

.name {
  font-style: italic;
}

.gen {
  font-style: italic;
}

.dim {
  font-size: 0.875em;
}

.bib_key {
/*
  font-feature-settings: 'smcp';
  -moz-font-feature-settings: 'smcp';
  -ms-font-feature-settings: 'smcp';
  -o-font-feature-settings: 'smcp';
  -webkit-font-feature-settings: 'smcp';
*/
/*  font-style: italic; */
}

dd {
/*  margin-left: 1.5em; */
}

#citeme {
  font-size: 0.8em;
  border-top: 1pt solid;
  padding-top: 0.5em;
}

#citeme > cite {
  font-style: normal;
}

/*
 *  CNF index
 */

.index_nav {
  text-align: center;
  letter-spacing: -0.25pt;
}

p.index_letter {
  clear: both;
  margin: 1.5em auto;
  overflow: hidden;
}

p.index_letter::first-letter {
  float: left;
  font-size: 3.4em;
  line-height: 0.8;
  color: #df2020;
  margin: 0.055em 7.5pt 0 0;
}

a.letter_anchor {
  position: relative;
  top: -1em;
  text-decoration: none;
}

/* p.index::first-letter { initial-letter: 2 2; } */

/*
 * Masthead
 */

.masthead {
  margin: 1em 0;
  border: 1px solid black;
  font-size: 0.8em;
}

.masthead table {
  border-collapse: separate;
  border-spacing: 1em;
}

.masthead td {
  vertical-align: top;
}

.masthead td.mast_left {
  width: 35%;
  text-align: right;

  font-variant: all-small-caps;
  -moz-font-variant: all-small-caps;
  -ms-font-variant: all-small-caps;
  -o-font-variant: all-small-caps;
  -webkit-font-variant: all-small-caps;

  font-feature-settings: 'c2sc', 'smcp';
  -moz-font-feature-settings: 'c2sc', 'smcp';
  -ms-font-feature-settings: 'c2sc', 'smcp';
  -o-font-feature-settings: 'c2sc', 'smcp';
  -webkit-font-feature-settings: 'c2sc', 'smcp';
}

.masthead td.mast_right {
  width: 65%;
  text-align: left;
}

/*
 * Media
 */

.follow {
  text-align: center;
}

.follow a {
  display: inline-block;
  text-decoration: none;
  margin: 0 0.25em;
}

.follow img {
  vertical-align: bottom;
  width: 3em;
  height: 3em;
}

/*
 * TeX, LaTeX logos
 *
 * http://edward.oconnor.cx/2007/08/tex-poshlet
 *
 * <span class="tex">T<sub>e</sub>X</span>
 * <span class="latex">L<sup>a</sup>T<sub>e</sub>X</span>
 */

.tex sub, .latex sub, .latex sup {
  text-transform: uppercase;
}

.tex sub, .latex sub {
  vertical-align: -0.5ex;
  margin-left: -0.1667em;
  margin-right: -0.125em;
}

.tex, .latex, .tex sub, .latex sub {
  font-size: 1em;
}

.latex sup {
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}

/*
 * Guide
 */

#explanation {
  float: left;
  width: 38%;
  position: relative;
}

#explanation > div {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
}

#explanation p {
  text-align: left;
}

#explanation nav.arrows {
  font-weight: bold;
  font-size: 2em;
  text-align: center;
}

#explanation nav.arrows a {
  text-decoration: none;
}

#example {
  float: right;
  border: 1px dotted black;
  padding: 0 10pt 1em 10pt;
  font-size: 0.75em;
  width: 55%;
  margin-bottom: 1em;
}