/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */
/* Document
   ========================================================================== */
/**
 * 1. Correct the line height in all browsers.
 * 2. Prevent adjustments of font size after orientation changes in iOS.
 */
html {
  line-height: 1.15;
  /* 1 */
  -webkit-text-size-adjust: 100%;
  /* 2 */
}

/* Sections
   ========================================================================== */
/**
 * Remove the margin in all browsers.
 */
body {
  margin: 0;
}

/**
 * Render the `main` element consistently in IE.
 */
main {
  display: block;
}

/**
 * Correct the font size and margin on `h1` elements within `section` and
 * `article` contexts in Chrome, Firefox, and Safari.
 */
h1 {
  font-size: 2em;
  margin: 0.67em 0;
}

/* Grouping content
   ========================================================================== */
/**
 * 1. Add the correct box sizing in Firefox.
 * 2. Show the overflow in Edge and IE.
 */
hr {
  box-sizing: content-box;
  /* 1 */
  height: 0;
  /* 1 */
  overflow: visible;
  /* 2 */
}

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */
pre {
  font-family: monospace, monospace;
  /* 1 */
  font-size: 1em;
  /* 2 */
}

/* Text-level semantics
   ========================================================================== */
/**
 * Remove the gray background on active links in IE 10.
 */
a {
  background-color: transparent;
}

/**
 * 1. Remove the bottom border in Chrome 57-
 * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
 */
abbr[title] {
  border-bottom: none;
  /* 1 */
  text-decoration: underline;
  /* 2 */
  text-decoration: underline dotted;
  /* 2 */
}

/**
 * Add the correct font weight in Chrome, Edge, and Safari.
 */
b,
strong {
  font-weight: bolder;
}

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */
code,
kbd,
samp {
  font-family: monospace, monospace;
  /* 1 */
  font-size: 1em;
  /* 2 */
}

/**
 * Add the correct font size in all browsers.
 */
small {
  font-size: 80%;
}

/**
 * Prevent `sub` and `sup` elements from affecting the line height in
 * all browsers.
 */
sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sub {
  bottom: -0.25em;
}

sup {
  top: -0.5em;
}

/* Embedded content
   ========================================================================== */
/**
 * Remove the border on images inside links in IE 10.
 */
img {
  border-style: none;
}

/* Forms
   ========================================================================== */
/**
 * 1. Change the font styles in all browsers.
 * 2. Remove the margin in Firefox and Safari.
 */
button,
input,
optgroup,
select,
textarea {
  font-family: inherit;
  /* 1 */
  font-size: 100%;
  /* 1 */
  line-height: 1.15;
  /* 1 */
  margin: 0;
  /* 2 */
}

/**
 * Show the overflow in IE.
 * 1. Show the overflow in Edge.
 */
button,
input {
  /* 1 */
  overflow: visible;
}

/**
 * Remove the inheritance of text transform in Edge, Firefox, and IE.
 * 1. Remove the inheritance of text transform in Firefox.
 */
button,
select {
  /* 1 */
  text-transform: none;
}

/**
 * Correct the inability to style clickable types in iOS and Safari.
 */
button,
[type="button"],
[type="reset"],
[type="submit"] {
  -webkit-appearance: button;
}

/**
 * Remove the inner border and padding in Firefox.
 */
button::-moz-focus-inner,
[type="button"]::-moz-focus-inner,
[type="reset"]::-moz-focus-inner,
[type="submit"]::-moz-focus-inner {
  border-style: none;
  padding: 0;
}

/**
 * Restore the focus styles unset by the previous rule.
 */
button:-moz-focusring,
[type="button"]:-moz-focusring,
[type="reset"]:-moz-focusring,
[type="submit"]:-moz-focusring {
  outline: 1px dotted ButtonText;
}

/**
 * Correct the padding in Firefox.
 */
fieldset {
  padding: 0.35em 0.75em 0.625em;
}

/**
 * 1. Correct the text wrapping in Edge and IE.
 * 2. Correct the color inheritance from `fieldset` elements in IE.
 * 3. Remove the padding so developers are not caught out when they zero out
 *    `fieldset` elements in all browsers.
 */
legend {
  box-sizing: border-box;
  /* 1 */
  color: inherit;
  /* 2 */
  display: table;
  /* 1 */
  max-width: 100%;
  /* 1 */
  padding: 0;
  /* 3 */
  white-space: normal;
  /* 1 */
}

/**
 * Add the correct vertical alignment in Chrome, Firefox, and Opera.
 */
progress {
  vertical-align: baseline;
}

/**
 * Remove the default vertical scrollbar in IE 10+.
 */
textarea {
  overflow: auto;
}

/**
 * 1. Add the correct box sizing in IE 10.
 * 2. Remove the padding in IE 10.
 */
[type="checkbox"],
[type="radio"] {
  box-sizing: border-box;
  /* 1 */
  padding: 0;
  /* 2 */
}

/**
 * Correct the cursor style of increment and decrement buttons in Chrome.
 */
[type="number"]::-webkit-inner-spin-button,
[type="number"]::-webkit-outer-spin-button {
  height: auto;
}

/**
 * 1. Correct the odd appearance in Chrome and Safari.
 * 2. Correct the outline style in Safari.
 */
[type="search"] {
  -webkit-appearance: textfield;
  /* 1 */
  outline-offset: -2px;
  /* 2 */
}

/**
 * Remove the inner padding in Chrome and Safari on macOS.
 */
[type="search"]::-webkit-search-decoration {
  -webkit-appearance: none;
}

/**
 * 1. Correct the inability to style clickable types in iOS and Safari.
 * 2. Change font properties to `inherit` in Safari.
 */
::-webkit-file-upload-button {
  -webkit-appearance: button;
  /* 1 */
  font: inherit;
  /* 2 */
}

/* Interactive
   ========================================================================== */
/*
 * Add the correct display in Edge, IE 10+, and Firefox.
 */
details {
  display: block;
}

/*
 * Add the correct display in all browsers.
 */
summary {
  display: list-item;
}

/* Misc
   ========================================================================== */
/**
 * Add the correct display in IE 10+.
 */
template {
  display: none;
}

/**
 * Add the correct display in IE 10.
 */
[hidden] {
  display: none;
}

/******************************************************************************
 *
 * GRID
 *
 * This section contains the dynamic grid.
 *
 *****************************************************************************/
.container {
  box-sizing: border-box;
  margin: 0px auto;
  padding: 0px 15px;
  width: 960px;
  overflow: auto;
}

.container:before, .container:after {
  content: " ";
  display: table;
}

.container:after {
  clear: both;
}

.row {
  margin: 0px -15px;
}

.row:before, .row:after {
  content: " ";
  display: table;
}

.row:after {
  clear: both;
}

.span01, .span02, .span03, .span04, .span05, .span06,
.span07, .span08, .span09, .span10, .span11, .span12,
.s-span01, .s-span02, .s-span03, .s-span04, .s-span05, .s-span06,
.s-span07, .s-span08, .s-span09, .s-span10, .s-span11, .s-span12,
.m-span01, .m-span02, .m-span03, .m-span04, .m-span05, .m-span06,
.m-span07, .m-span08, .m-span09, .m-span10, .m-span11, .m-span12,
.l-span01, .l-span02, .l-span03, .l-span04, .l-span05, .l-span06,
.l-span07, .l-span08, .l-span09, .l-span10, .l-span11, .l-span12 {
  box-sizing: border-box;
  float: left;
  padding: 0px 15px;
}

.span01 {
  width: 8.33333333%;
}

.span02 {
  width: 16.66666667%;
}

.span03 {
  width: 25%;
}

.span04 {
  width: 33.33333333%;
}

.span05 {
  width: 41.66666667%;
}

.span06 {
  width: 50%;
}

.span07 {
  width: 58.33333333%;
}

.span08 {
  width: 66.66666667%;
}

.span09 {
  width: 75%;
}

.span10 {
  width: 83.33333333%;
}

.span11 {
  width: 91.66666667%;
}

.span12 {
  width: 100%;
}

@media (min-width: 768px) {
  .container {
    max-width: 100%;
  }
  .l-span01 {
    width: 8.33333333%;
  }
  .l-span02 {
    width: 16.66666667%;
  }
  .l-span03 {
    width: 25%;
  }
  .l-span04 {
    width: 33.33333333%;
  }
  .l-span05 {
    width: 41.66666667%;
  }
  .l-span06 {
    width: 50%;
  }
  .l-span07 {
    width: 58.33333333%;
  }
  .l-span08 {
    width: 66.66666667%;
  }
  .l-span09 {
    width: 75%;
  }
  .l-span10 {
    width: 83.33333333%;
  }
  .l-span11 {
    width: 91.66666667%;
  }
  .l-span12 {
    width: 100%;
  }
  .l-justify {
    text-align: justify;
  }
  .l-left-align {
    text-align: left;
  }
  .l-right-align {
    text-align: right;
  }
  .l-center {
    text-align: center;
  }
  .l-visible {
    /* display: initial; */
  }
  .l-invisible {
    display: none;
  }
}

@media (min-width: 576px) and (max-width: 767px) {
  .container {
    width: 100%;
  }
  .m-span01 {
    width: 8.33333333%;
  }
  .m-span02 {
    width: 16.66666667%;
  }
  .m-span03 {
    width: 25%;
  }
  .m-span04 {
    width: 33.33333333%;
  }
  .m-span05 {
    width: 41.66666667%;
  }
  .m-span06 {
    width: 50%;
  }
  .m-span07 {
    width: 58.33333333%;
  }
  .m-span08 {
    width: 66.66666667%;
  }
  .m-span09 {
    width: 75%;
  }
  .m-span10 {
    width: 83.33333333%;
  }
  .m-span11 {
    width: 91.66666667%;
  }
  .m-span12 {
    width: 100%;
  }
  .m-justify {
    text-align: justify;
  }
  .m-left-align {
    text-align: left;
  }
  .m-right-align {
    text-align: right;
  }
  .m-center {
    text-align: center;
  }
  .m-visible {
    /* display: initial; */
  }
  .m-invisible {
    display: none;
  }
}

@media (max-width: 575px) {
  .container {
    width: 100%;
  }
  .s-span01 {
    width: 8.33333333%;
  }
  .s-span02 {
    width: 16.66666667%;
  }
  .s-span03 {
    width: 25%;
  }
  .s-span04 {
    width: 33.33333333%;
  }
  .s-span05 {
    width: 41.66666667%;
  }
  .s-span06 {
    width: 50%;
  }
  .s-span07 {
    width: 58.33333333%;
  }
  .s-span08 {
    width: 66.66666667%;
  }
  .s-span09 {
    width: 75%;
  }
  .s-span10 {
    width: 83.33333333%;
  }
  .s-span11 {
    width: 91.66666667%;
  }
  .s-span12 {
    width: 100%;
  }
  .s-justify {
    text-align: justify;
  }
  .s-left-align {
    text-align: left;
  }
  .s-right-align {
    text-align: right;
  }
  .s-center {
    text-align: center;
  }
  .s-visible {
    /* display: initial; */
  }
  .s-invisible {
    display: none;
  }
}

/******************************************************************************
 *
 * LAYOUT
 *
 * This section contains layouts for page formatting and block elements.
 *
 *****************************************************************************/
/*
 * Document titles and front matter
 */
div.frontmatter {
  border-bottom: 1px dotted #888888;
}

div.frontmatter .title-wrapper {
  margin: 2.5em 0;
  color: #000000;
  line-height: 1.2;
}

div.frontmatter .title-wrapper .head-title {
  font-size: 240%;
  font-weight: bold;
}

div.frontmatter .title-wrapper .head-title .head-subject {
  margin-bottom: 0.5em;
  font-size: 70%;
}

div.frontmatter .title-wrapper .head-title .head-subtitle {
  margin-top: 0.5em;
  font-size: 70%;
}

div.frontmatter .title-wrapper .head-author {
  margin-top: 2em;
}

div.frontmatter .title-wrapper .head-date {
  margin-top: 1em;
}

div.frontmatter .title-wrapper .head-publisher {
  margin-top: 1em;
}

div.frontmatter .title-wrapper .head-legal {
  margin-top: 2em;
  line-height: 1.4;
}

div.frontmatter a, div.frontmatter a:link, div.frontmatter a:hover, div.frontmatter a:active, div.frontmatter a:visited {
  text-decoration: none;
}

/*
 * Navigation
 */
nav.nav-top {
  border-bottom: 1px dotted #aaaaaa;
}

nav.nav-top .row {
  padding-top: 10px;
  padding-bottom: 10px;
}

nav.nav-top .nav-top-title {
  color: #666666;
  font-size: 20px;
  font-weight: bold;
  line-height: 40px;
}

nav.nav-top .nav-top-buttons a img {
  margin: 12px 0 0 5px;
}

nav.nav-bottom {
  border-top: 1px dotted #aaaaaa;
}

nav.nav-bottom .row {
  padding-top: 20px;
  padding-bottom: 20px;
}

nav.nav-bottom .nav-link-dir {
  color: #000000;
  font-weight: bold;
}

/*
 * Content
 */
div.content ul.toc {
  list-style-type: none;
  padding-left: 0.25em;
}

div.content ul.toc ul {
  list-style-type: none;
  margin: 0.25em 0;
  padding-left: 2em;
}

div.content ul.toc li {
  margin: 0.25em 0 0.25em 0;
}

div.content .textbody {
  padding-bottom: 1.5em;
}

/******************************************************************************
 *
 * TYPO AND STYLING
 *
 * This section contains settings for typography and basic styling of elements.
 *
 *****************************************************************************/
/*
 * Global settings
 */
body {
  font-family: sans-serif;
  color: #333333;
  background-color: #ffffff;
  font-size: 14px;
  line-height: 1.6;
}

/*
 * Text
 */
span.tt {
  font-family: monospace;
}

/*
 * Hyperlinks
 */
a, a:link, a:hover, a:active, a:visited {
  color: #222299;
}

/*
 * Headings
 */
h1, h2, h3, h4, h5 {
  clear: both;
  margin: 1em 0em 0.5em 0em;
  color: #000000;
}

h1 {
  font-size: 180%;
}

h2 {
  font-size: 160%;
}

h3 {
  font-size: 140%;
}

h4 {
  font-size: 120%;
}

h5 {
  font-size: 100%;
}

/*
 * General block elements
 */
.block-element {
  margin: 1.5em 0em;
}

.caption {
  font-weight: normal;
}

.caption-counter {
  color: #000000;
  font-weight: bold;
}

/*
 * Lists
 */
dl, ol, ul {
  margin-top: 0.75em;
  margin-bottom: 0.75em;
}

dt {
  color: #000000;
}

dd {
  margin: 0 0 0.5em 1.5em;
}

/*
 * Paragraph
 */
p {
  margin: 0.75em 0em;
}

p .title {
  font-weight: bold;
  padding-right: 1.5ex;
}

/*
 * Footnotes
 */
a.sup,
a.sup:link,
a.sup:hover,
a.sup:active,
a.sup:visited {
  line-height: 0em;
  text-decoration: none;
}

sup.footnote {
  font-weight: normal;
  text-decoration: none;
  line-height: 0em;
}

div.footnote {
  font-size: 80%;
}

hr.above-footnote,
hr.below-footnote {
  margin-left: 0px;
  width: 40%;
  height: 1px;
  border: 0px;
  text-align: left;
  color: black;
  background-color: #aaaaaa;
}

hr.above-footnote {
  margin-top: 0.75em;
}

/*
 * Verbatim & Listing
 */
pre.verbatim {
  padding: 0.5em 0.5em;
  margin: 1.25em 0em;
  font-family: monospace;
  line-height: 1.26;
  overflow-x: auto;
}

div.listing {
  padding: 0px;
  margin: 1.25em 0em;
}

div.listing-caption {
  margin-bottom: 0.15em;
}

pre.listing {
  padding: 0.5em 0.5em;
  font-family: monospace;
  line-height: 1.26;
  overflow-x: auto;
}

/*
 * Bibliography
 */
table.biblio td.biblio-label-manual {
  text-align: left;
  padding: 5px 10px 5px 0;
  vertical-align: top;
}

table.biblio td.biblio-label-auto {
  text-align: right;
  padding: 5px 10px 5px 0;
  vertical-align: top;
}

table.biblio td.biblio-text {
  padding: 5px 0 5px 10px;
}

/*
 * Index
 */
.idxlink {
  margin-right: 0.5em;
}

span.idxlink {
  color: #999999;
}

.idxitem {
  font-weight: bold;
}

.idxsubitem {
  margin-left: 2.5em;
}

.idxsubsubitem {
  margin-left: 5em;
}

/*
 * Math
 */
figure.block-figure,
figure.block-table {
  margin: 1.5em 0;
  padding: 0;
}

figure.block-figure-center,
figure.block-table-center {
  text-align: center;
}

figure.block-figure-left,
figure.block-table-left {
  text-align: left;
}

figure.block-figure-right,
figure.block-table-right {
  text-align: right;
}

figure.block-figure img {
  display: inline-block;
  vertical-align: middle;
}

figure.block-figure figcaption,
figure.block-table figcaption {
  margin-top: 0.5em;
}

figure.block-figure-inline {
  margin: 0;
  padding: 0;
  display: inline-block;
}

figure.block-table-center > table {
  margin: 0 auto;
}

figure.block-table-right > table {
  margin-left: auto;
}

figure.block-equation {
  display: flex;
  align-items: center;
  margin: 1.5em 0;
}

figure.block-equation .eq-content {
  flex: 1;
}

figure.block-equation .eq-counter {
  width: 8em;
  padding-left: 2em;
  flex-shrink: 0;
  text-align: left;
}

.katex {
  font-size: 1.1em;
}

/*
 * Tables
 */
figure.block-table {
  overflow-x: auto;
}

table.table {
  border-collapse: collapse;
  border-spacing: 0;
}

table.table td {
  padding-top: 0.25ex;
  padding-bottom: 0.25ex;
}