@charset "UTF-8";
/* CSS theme to produce a TeX look alike layout */
@import url(fonts/CharisSIL-webfont.css);
@import url(fonts/Inconsolata-Regular.css);
html {
  font-size: 17px; }
  @media only screen and (max-width: 1024px) {
    html {
      font-size: 16px; } }
  @media only screen and (max-width: 900px) {
    html {
      font-size: 15px; } }

body {
  font-family: 'CharisSILW', 'Bitstream Charter', 'Calisto MT', Georgia, Times, 'Times New Roman', serif;
  font-feature-settings: "ss01" 0 "litr" 0;
  line-height: 1.35;
  font-size: 1rem;
  width: 47.5em;
  margin: 1em auto;
  padding: 0 0.5em;
  height: unset;
  color: #000000;
  background-color: #ffffff;
  text-align: justify;
  -ms-word-break: break-all;
  word-break: break-all;
  word-break: break-word;
  -webkit-hyphens: auto;
  -moz-hyphens: auto;
  -o-hyphens: auto;
  -ms-hyphens: auto;
  hyphens: auto;
  overflow-wrap: break-word; }
  @media only screen and (max-width: 812px) {
    body {
      width: 46.76471em; } }
  @media only screen and (max-width: 800px) {
    body {
      width: 46.05882em; } }
  @media only screen and (max-width: 768px) {
    body {
      width: 44.17647em; } }
  @media only screen and (max-width: 736px) {
    body {
      width: 42.29412em; } }
  @media only screen and (max-width: 667px) {
    body {
      width: 38.23529em; } }
  @media only screen and (max-width: 640px) {
    body {
      width: 36.64706em; } }
  @media only screen and (max-width: 601px) {
    body {
      width: 34.35294em; } }
  @media only screen and (max-width: 592px) {
    body {
      width: 33.82353em; } }
  @media only screen and (max-width: 568px) {
    body {
      width: 32.41176em; } }
  @media only screen and (max-width: 480px) {
    body {
      width: 27.23529em; } }
  @media only screen and (max-width: 414px) {
    body {
      width: 23.35294em; } }
  @media only screen and (max-width: 384px) {
    body {
      width: 21.58824em; } }
  @media only screen and (max-width: 375px) {
    body {
      width: 21.05882em; } }
  @media only screen and (max-width: 360px) {
    body {
      width: 20.17647em; } }
  @media only screen and (max-width: 320px) {
    body {
      width: 17.82353em; } }
  @media only screen and (max-width: 281px) {
    body {
      width: 15.52941em; } }
  @media only screen and (max-width: 218px) {
    body {
      width: 11.82353em; } }
  @media (min--moz-device-pixel-ratio: 0) {
    body {
      word-break: normal; } }

pre, listing, xmp, plaintext, tt, code, kbd, samp {
  font-family: 'Inconsolata', SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  line-height: 1.35;
  font-size: 1rem;
  text-align: unset; }

pre code {
  white-space: inherit; }

.smallcaps {
  font-variant: small-caps; }

/* Table style to prevent overflow
 * This needs <td/> contents wrapped into a div, so 'inline-block' can be applied to
 * constrain overflows.
 */
.shrinkable-table {
  width: 100%; }
  .shrinkable-table > thead > tr > th, .shrinkable-table > thead > tr > td, .shrinkable-table > tbody > tr > th, .shrinkable-table > tbody > tr > td {
    overflow: hidden;
    -ms-word-break: break-all;
    word-break: break-all;
    word-break: break-word;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    -o-hyphens: auto;
    -ms-hyphens: auto;
    hyphens: auto;
    overflow-wrap: break-word; }
    @media (min--moz-device-pixel-ratio: 0) {
      .shrinkable-table > thead > tr > th, .shrinkable-table > thead > tr > td, .shrinkable-table > tbody > tr > th, .shrinkable-table > tbody > tr > td {
        word-break: normal; } }
    .shrinkable-table > thead > tr > th > *, .shrinkable-table > thead > tr > td > *, .shrinkable-table > tbody > tr > th > *, .shrinkable-table > tbody > tr > td > * {
      display: inline-block;
      overflow: hidden;
      width: 100%; }

a {
  color: #000080;
  text-decoration: none; }

a:hover {
  text-decoration: underline; }

ul {
  list-style-type: disc;
  list-style-type: none; }

ul li {
  padding: 0; }

ul li:before {
  position: absolute;
  margin-left: -0.76923em;
  font-size: 130%;
  content: "•";
  vertical-align: middle;
  line-height: 1; }

table {
  border-collapse: collapse;
  border-top: 2px solid #000000;
  border-bottom: 2px solid #000000;
  margin: 2em auto; }
  table caption:before {
    content: "Table: ";
    font-weight: bold; }
  table tr.header th {
    border-bottom: 1px solid #000000;
    padding-top: 0.3em;
    padding-bottom: 0.3em;
    font-weight: inherit; }
  table th ~ th,
  table td ~ td {
    padding-left: 1em; }

h1 .header-section-number, h2 .header-section-number, h3 .header-section-number, h4 .header-section-number, h5 .header-section-number, h6 .header-section-number {
  padding-right: 0.8em; }

h1 {
  margin: 5em 0 1.2em;
  padding-top: 1.5em;
  border-top: 1px solid #000000;
  font-size: 146.5%; }
  @media print {
    h1 {
      margin-top: 0;
      page-break-before: always; } }

h2 {
  margin: 1.9em 0 1.1em;
  font-size: 121%; }

h3 {
  margin: 2.1em 0 1.2em;
  font-size: 1.025em; }

h4, h5, h6 {
  margin: 1.4em 0 0; }
  h4 ~ p, h4 ~ dl, h4 ~ pre, h5 ~ p, h5 ~ dl, h5 ~ pre, h6 ~ p, h6 ~ dl, h6 ~ pre {
    margin-top: 0; }

p, dl, pre, ul, ol {
  margin: 1.3ex 0; }

ol > li {
  padding-left: 0.3em; }

dt {
  font-weight: bold; }

dd {
  margin-inline-start: 3em; }

header, div#header {
  text-align: center; }
  header h1, div#header h1 {
    font-weight: bold;
    font-size: 2.2em;
    letter-spacing: 2px; }
  header .author,
  header .date, div#header .author,
  div#header .date {
    font-weight: bold;
    font-size: 1.2em;
    letter-spacing: 1px; }
  header .abstracttitle, div#header .abstracttitle {
    font-weight: bold;
    margin-top: 5em; }
  header .abstract, div#header .abstract {
    width: 30em;
    margin: 1em auto 7em auto;
    -moz-hyphens: auto;
    -ms-hyphens: auto;
    -o-hyphens: auto;
    -webkit-hyphenate-limit-after: 1;
    -webkit-hyphenate-limit-before: 3;
    -webkit-hyphens: auto;
    -webkit-hyphenate-character: "\2010";
    hyphens: auto;
    text-align: justify; }

nav#TOC, div#TOC {
  margin: 3em 0;
  border-top: 1px solid #000000; }
  @media print {
    nav#TOC, div#TOC {
      margin-top: 0;
      page-break-before: always; } }
  nav#TOC .contentstitle, div#TOC .contentstitle {
    -x-margin-top: 5em;
    font-weight: bold;
    font-size: 1.4em;
    margin-bottom: 1.4em;
    padding-top: 1.3em; }
  nav#TOC .toc-section-number, div#TOC .toc-section-number {
    padding-right: 1em; }
  nav#TOC ul, div#TOC ul {
    padding-left: 0;
    list-style-type: none;
    font-weight: bold; }
    nav#TOC ul li:before, div#TOC ul li:before {
      display: none; }
    nav#TOC ul li ~ li, div#TOC ul li ~ li {
      margin-top: 1em; }
    nav#TOC ul ul, div#TOC ul ul {
      font-weight: normal; }
      nav#TOC ul ul li ~ li, div#TOC ul ul li ~ li {
        margin-top: unset; }
    nav#TOC ul ul, div#TOC ul ul {
      padding-left: 2em;
      margin-top: 0; }
      nav#TOC ul ul ul, div#TOC ul ul ul {
        padding-left: 3em; }