@import url('https://fonts.googleapis.com/css?family=Open+Sans');
@import url('https://fonts.googleapis.com/css2?family=Space+Mono');
@import url('https://fonts.googleapis.com/css2?family=Roboto');
@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono');

.opensans {
  font-family: "Open Sans", sans-serif;
}

body {
  margin: 0;
  padding: 0;
  font-family: "Roboto", sans-serif;
  line-height: 1.5em;
  font-size: 13pt;
}

h1, h2, h3 {
  padding: 0;
  margin: 0;
}

h1, h2 {
  line-height: 1.25em;
}

header {
  margin: 0;
  margin-bottom: 4pt;
  padding-top: 8pt;
  padding-bottom: 12pt;
  border: 1px solid black;
  color: #fff;
  background: #000;
  font-size: 18pt;
  text-align: center;
  box-shadow: 0px 2px 12px #888;
}

header h1 a {
  color: #FFFFFF;
  display: block;
  margin-top: 0.25em;
  padding-top: 40px;
  text-decoration: none;
}

section {
  padding-top: 16pt;
  text-align: center;
}

section h1 {
  font-size: 18pt;
}


article h2 {
  font-size: 17pt;
}

article h3 {
  font-size: 16pt;
}

article h4 {
  font-size: 15pt;
  line-height: 0em;
  padding-top: 0px;

}

article h5 {
  font-size: 14pt;
  line-height: 0em;
  padding-top: 0px;

}

article h6 {
  font-size: 13pt;
  line-height: 0em;
  padding-top: 0px;

}


article {
  padding-top: 8pt;
}

article, nav {
  margin: 0 auto;
  text-align: justify;
}

article p a, article li a {
  text-decoration: none;
  border-bottom: 1px dashed #444;
  color: #000;
}

article p a:hover, article li a:hover {
  color: #337;
}

section.pagefooter {
  display: none;
}

section.pagefooter {
  display: none;
}
section.pageversion {
  display: none;
}

section.concrete {
  background: #ccc;
  margin-top: 20pt;
  padding-top: 20pt;
  padding-bottom: 28pt;
  border-top: 6pt solid #aaa;
  border-bottom: 6pt solid #aaa;
}
section.concrete h1 {
  font-size: 24pt;
  margin-bottom: 24pt;
  text-align: center;
}
section.concrete h2 {
  margin-top: 12pt;
}
section.concrete h2 a {
  text-decoration: none;
  color: #000;
}
section.concrete h2 a:hover {
  border-bottom: 2px dashed #444;
  color: #337;
}
section.concrete h3 {
  color: #333;
  font-weight: normal;
}


section.bigmenu {
  background: #ccc;
  margin-top: 20pt;
  padding-top: 20pt;
  padding-bottom: 28pt;
  border-top: 6pt solid #aaa;
  border-bottom: 6pt solid #aaa;
}
section.bigmenu h1 {
  font-size: 24pt;
  margin-bottom: 24pt;
  text-align: center;
}
section.bigmenu h2 {
  margin-top: 12pt;
}
section.bigmenu h2 a {
  text-decoration: none;
  color: #000;
}
section.bigmenu h2 a:hover {
  border-bottom: 2px dashed #444;
  color: #337;
}
section.bigmenu h3 {
  color: #333;
  font-weight: normal;
}






section#factor h2 {
  font-size: 28pt;
  margin-bottom: 12pt;
}
section#factor h3 {
  font-size: 17pt;
  font-weight: normal;
  color: #555;
  margin-bottom: 16pt;
}

nav {
  margin-top: 16pt;
  margin-bottom: 48pt;
}
nav #locales {
  text-align: center;
}
nav #locales a {
  color: #000;
}
nav #locales span {
  font-weight: bold;
}
nav #next {
  float: right;
}
nav #prev {
  float: left;
}
nav #next a, nav #prev a {
  display: block;
  font-size: 19pt;
  text-decoration: none;
  color: #000;
}

code {
  font-family: "Roboto Mono", sans-serif;
  padding: 0pt 0pt;
  font-size: 10pt;
  line-height: 0em;
  padding-right: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-bottom: 0pt;

}

table {
  padding-left: 32pt;
}
td, th {
  padding-right: 12pt;
  padding-bottom: 4pt;
}

footer {
  color: #888;
  font-size: 10pt;
  background: #000;
  padding-top: 24pt;
  padding-bottom: 16pt;
  text-align: center;
  padding-right: 64pt;
  min-height: 48pt;
}

footer a {
  color: #999;
}

article img {
  float: right;
  margin-left: 32pt;
}

article img.full {
  float: none;
  margin-left: 0;
}