* { 
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
}

html {
  height:100%;
  width:100%;
  margin:0;
  padding:0;
  font-size:100%;
  overflow-y:scroll;
  -webkit-text-size-adjust:100%;
  -ms-text-size-adjust:100%;
  -text-size-adjust:100%;
  -webkit-font-smoothing:antialiased;
  -moz-font-smoothing:antialiased;
  -font-smoothing:antialiased;
}

body {
  padding:0;
  color:#333; 
  font: normal 100%/1.4 Arial, sans-serif; 
  letter-spacing:0.5px;
  counter-reset: h2counter;
}

header {
  border: 0px;
   width: 90%;
  margin: 0 auto;
}

footer {
	padding-top: 10px;
  border: 5px;
  height: 50px;
  text-align: right;
}

section {
	-moz-border-radius: 4px;
  -webkit-border-radius: 4px;
  border-radius: 4px;
  -webkit-box-shadow: 0 2px 2px 0 #C2C2C2;
  box-shadow: 0 0 5px #C2C2C2;
  border: 5px;
  background: #fff;
  padding: 10px;
}

.clear {
  clear: both;
}

.red {
  color: red;
}

table {
  font-size: 100%;
}

th, td {
  text-align: left;
}

td.center {
  text-align: center;
  vertical-align: middle;
}

pre {
  width: 100%;
	border:1px solid #d62d20;
	border-left: 4px solid #d62d20;
	padding-left: 10px;
	white-space: pre-wrap;
	font-size: 125%;
	margin-left: auto;
   margin-right: auto;
}
code {
  color: blue;
  white-space: pre-wrap;
  font-size: 125%;
}

textarea.input {
    width: 100%;
	border:1px solid #0057e7;
	border-left: 4px solid #0057e7;
	padding-left: 10px;
	top: 10px;
	bottom:10px;
	font-size: 125%;
	font-family: monospace;
}

textarea.output {
    width: 100%;
	border:1px solid #d62d20;
	border-left: 4px solid #d62d20;
	padding-left: 10px;
	font-size: 125%;
}

textarea.lineno {
    width: 90%;
	border:1px solid #0057e7;
	border-left: 4px solid #0057e7;
	padding-left: 35px;
	top: 10px;
	bottom:10px;
	font-size: 125%;
	font-family: monospace;
	margin-left: auto;
   margin-right: auto;
}

p.example{
	text-indent: 50px;
}

table.navi {
	width: 100%;
	border-width: 0px;
}

table.header {
	width: 100%;
	border-width: 0px;
}

table.navi td {
	vertical-align: top;
	width: 33%;
}

table.inline{
border-collapse: collapse;
margin-left: auto;
   margin-right: auto;
}

table.inline td{
border: 1px solid black;
padding: 2px 10px 2px 10px;
}

table.inline th{
border: 1px solid black;
padding: 2px 10px 2px 10px;
}

table.left{
border-collapse: collapse;
margin-right: auto;
}

table.left td{
border: 1px solid black;
padding: 2px 10px 2px 10px;
}

table.left th{
border: 1px solid black;
padding: 2px 10px 2px 10px;
}


.d1{text-align: left;}
.d2{text-align: center;}
.d3{text-align: right;}

ul.sidebar { 
  padding-left: 1.2em; 
  margin: .2em;
}

pre.data {
  width: 100%;
	border:1px solid #d62d20;
	border-left: 1px solid #d62d20;
	padding-left: 10px;
	white-space: pre;
	font-size: 125%;
}

a:link, a:visited, a:active {color:blue; text-decoration: none;}
a:hover {
    color:blue; text-decoration: underline;
}

#contents {
  top: 40px;
  width: 400px; right:0;}
  #contents ol {
    counter-reset: section;
    list-style-type: none; }
  #contents li:before {
    counter-increment: section;
    content: counters(section, '.') '. '; }
  #contents > ol {
    background: #FFF8DC;
    border: 1px solid #E0DCBF;
    padding: 10px; }
  #contents a {
    color: #0000ee;
    text-decoration: none; }
    #contents a:hover {
      text-decoration: underline; }
	  
h1 {
  font-size: 175%;
  color: #0057e7;
  text-align: center;
  counter-reset: h2counter;
}

h2 {
  font-size: 150%;
  color: #d62d20;
}
h2 a, h2 a:link{
  color: #d62d20;
  text-decoration: none;
}
h2 a:visited, h2 a:hover, h2 a:active { color: #d62d20; text-decoration: none; }

h3 {
  font-size: 135%;
  color: 	#ffa700;
}

h3 a, h3 a:link{
  color: #ffa700;
  text-decoration: none;
}
h3 a:visited, h3 a:hover, h3 a:active { color: #ffa700; text-decoration: none; }

h4 {
  font-size: 125%;
  color: 	#008744;
}

h4 a, h4 a:link{
  color: #d62d20;
  text-decoration: none;
}
h4 a:visited, h4 a:hover, h4 a:active { color: #d62d20; text-decoration: none; }

body {counter-reset: h2}
h2 {counter-reset: h3}
h3 {counter-reset: h4}
h4 {counter-reset: h5}
h5 {counter-reset: h6}
h2:before {counter-increment: h2; content: counter(h2) ". "}
h3:before {counter-increment: h3; content: counter(h2) "." counter(h3) ". "}
h4:before {counter-increment: h4; content: counter(h2) "." counter(h3) "." counter(h4) ". "}
h5:before {counter-increment: h5; content: counter(h2) "." counter(h3) "." counter(h4) "." counter(h5) ". "}
h6:before {counter-increment: h6; content: counter(h2) "." counter(h3) "." counter(h4) "." counter(h5) "." counter(h6) ". "}
h2.nocount:before, h3.nocount:before, h4.nocount:before, h5.nocount:before, h6.nocount:before {content: ""; counter-increment: none} 

p.example{text-indent: 0px;}
.example::before{content: "EXAMPLE: "; font-weight: bold;      color: #0057e7}

button {
    background-color: white;
    color: black;
    border: 2px solid black;
    border-radius: 8px;
    font-size: 100%;
}

figure {
  border-top: none;
  padding-top: 0;
  border: thin silver solid;
  text-align: center;
  width: 90%;
}

figcaption::before { 
    content: "Figure ";
    color: blue;
    font-weight: bold;
}

img {
    width: 95%;
}

img.avatar{
width: 120pt;
max-height: 120pt;
}

img.logo{
max-height: 120pt;
max-width: 600pt;
}

img.reg{
max-width: 600pt;
}

button.toc {
    background-color: white;
    color: blue;
}

/* nagviation */
.topnav {
  position: relative;
  overflow: hidden;
}

.topnav a {
  float: left;
  text-align: center;
}

.topnav a:hover {
  color: blue;
}

.topnav a.active {
  color: blue;
}

.topnav-centered{
  float: none;
  position: absolute;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
}

.topnav-right {
  float: right;
}

p.ad{
	background: #FFF8DC;
    border: 1px solid #E0DCBF;
    padding: 10px; 
}