table {
   border-collapse:true;
}
tbody {
   border-collapse:true;
}

td {
   padding-left:10px;
   padding-right:10px;
}
th {
   border-bottom:1px solid black;
}

td.n {
   text-align:right;
}

pre {
   background:#e8e8e8;
   font-family:monospace;
   font-size:85%;
   padding:15px;
   margin-left:10px;
   margin-right:10px;
}

div.ani {
   /*float:left;*/
   clear:both;
   /*padding-left:30px;*/
   /*padding-right:20px;*/
   /*background:white;*/
   padding-top:10px;
   padding-bottom:10px;
   margin-left:-10px;
   /*width:730px;*/
   border: 1px solid black;
}

div.ani pre {
   overflow:hidden;
}

div.cmd {
   padding:3px;
}

div.code {
   position:relative;
   min-width:650px;
}

pre.code {
   padding:10px;
}

.vstate {
   background: #3f3414;
   margin-left:40px;
   padding-left:3px;
   padding-right:3px;
}

.highlighted_line {
   background: rgba(255,140,140,0.5);
   width:90%;
}

html {
   height: 100%;
   min-height:100%;
}

body {
   /*background : #edfdfd;*/
   font-family: fira-sans;
   font-size:18px;
   /*font-size:2vw;*/
   margin:0;
   padding:0;
   height:100%;
   min-height:100%;
}

#body2 {
   /*background : #edfdfd;*/
   height:100%;
   min-height:100%;
}

h1 {
   color:#52526D;
}
h2 {
   color:#42425D;
}

@font-face {
   font-family: fira-sans;
   src:url(/hprime/font/FiraSans-Book.otf);
}
@font-face {
   font-family: fira-sans-it;
   src:url(/hprime/font/FiraSans-BookItalic.otf);
}

@font-face {
   font-family: corben;
   src:url(/hprime/font/Corben-Regular.ttf);
}
@font-face {
   font-family: corben-bold;
   src:url(/hprime/font/Corben-Bold.ttf);
}

@font-face {
   font-family: fredoka;
   src:url(/hprime/font/FredokaOne-Regular.ttf);
}
@font-face {
   font-family: happy;
   src:url(/hprime/font/HappyMonkey-Regular.ttf);
}

p {
}


p.descr {
   font-family: fira-sans-it;
   padding-left:30px;
}

code.hljs {
   !important display:inline;
/*   background : #ffefa2;
   color : #9b5007;
   padding-left:3px;
   padding-right:3px;
   padding-top : 1px;
   padding-bottom : 1px; */
}

div.info {
   /*color:#3d95ba;*/
   color:#273170;
   /*font-style:italic;*/
   font-weight: bold;
   border-radius:25px;
   padding: 20px;
   width : 70%;
   min-width : 200px;
   background : #e6eaff;
   box-shadow: 10px 10px 5px #888888;
}

div.header {
   min-width: 810px;
   margin: 0 auto;
   width:90%;
   /*background:#87a1d7;*/
   /*background:#BBD1FF;*/
   /*background:#becce8;*/
   /*border:3px solid #7791c7;*/
   text-align: center;
}

#hprime {
   font-family:happy;
   font-size:80px;
   font-weight: bolder;
   color:#224180;
}

#hprime.hoverred {
   color:#224180;
   cursor:pointer;
   user-select:none;
   -webkit-touch-callout: none;
   -webkit-user-select: none;
   -khtml-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
}

#hprime.hoverred:hover {
   /*color:#db2e2e;*/
   /*background: rgba(255,155,155,0.4);*/
   /*border-radius: 40px;*/
}

div.sub_header {
   min-width: 810px;
   height: 34px;
   width:auto;
   text-align:center;
   font-family:serif;
   /*background:#deecf8;*/
   background:rgba(245,245,255,0.3);
   /*background: linear-gradient(to top, rgba(100,100,255,0.8), rgba(250,250,255,0)); [> Standard syntax (must be last) <]*/
   margin:12px;
   margin-top:-12px;
   padding:5px;
   /*border:12px solid white;*/
   /*border:12px solid #87a1d7;*/
   /*border:12px solid #BBD1FF;*/
   /*border:12px solid #becce8;*/
   border-bottom:3px solid #3f6bac;
   border-top:3px solid #3f6bac;
}

div.sub_header_inner {
   min-width: 810px;
   max-width: 1200px;
   width : 80%;
   margin : 0 auto;
}

#prev {
   text-align:center;
   margin-left:30px;
   line-height: 34px;
   float: left;
   position:relative;
   width:50px;
   font-weight:bolder;
   cursor:pointer;

   user-select:none;
   -webkit-touch-callout: none;
   -webkit-user-select: none;
   -khtml-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
}

#next {
   text-align:center;
   margin-right:30px;
   line-height: 34px;
   font-weight:bolder;
   float: right;
   position:relative;
   width:50px;
   cursor:pointer;

   user-select:none;
   -webkit-touch-callout: none;
   -webkit-user-select: none;
   -khtml-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
}

#part {
   font-size:200%;
   font-weight: bolder;
   color:#143140;

}

div.background {
   position:fixed;
   left:0px;
   right:0px;
   width: 100vw;
   height: 100vh;
   color : rgba(180,180,180,0.2);
   background: rgba(240,240,240,0.4); /* #fafafa; */
   font-size: 25pt;
   font-weight:bolder;
   z-index:-1;
   text-align:justify;
}

.background div {
    /*-moz-filter: blur(1px);*/
    -webkit-filter: blur(1px);
    /*filter: blur(1px);*/
 }

div.body_outer {
   padding:0;
   width : auto;
   min-width: 880px;

   /*position:fixed;*/
   /*background:#cdcdcd;*/
   /*border:3px solid #cdcdcd;*/
}
div.body_inner {
   padding-top:0;
   width : 75%;
   margin : 0 auto;
   margin-top: -2px;
   min-width: 810px;
   max-width: 1200px;
   /*background: #ffffff;*/
}

div.section {
   padding: 0px;
   margin-bottom: 20px;
   font-size:100%;
   /*border : 1px solid red;*/
   /*background: #fafafa;*/
   /*border-left : 5px solid #efefef;*/
   /*border-right : 5px solid #efefef;*/
   /*background: rgba(255,255,255,0.4);*/
}

div.section_title {
   position:relative;
   margin-left:-30px;
   margin-right:-30px;
   padding-left: 30px;
   padding-right: 10px;
   padding-top: 1px;
   padding-bottom: 1px;
   background: #ededef;
   border-radius:10px;
   box-shadow: 5px 5px 2px #888888;
   z-index:100;
   border:1px solid #dadadc;
   cursor: pointer;
   /*border:1px solid #aaaaab;*/

   user-select:none;
   -webkit-touch-callout: none;
   -webkit-user-select: none;
   -khtml-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
}
div.section_body {
   text-align:justify;
   /*border : 1px solid green;*/
   /*border : 1px solid white;*/
   /*border : 5px solid white;*/
   padding-top:20px;
   padding-left: 40px;
   padding-right: 40px;
   padding-bottom:15px;
   /*overflow:hidden;*/
   /*margin-left:30px;*/
   /*margin-right:30px;*/
   background: rgba(255,255,255,0.95);
   /*background: white;*/
   /*border-radius: 8px;*/
   margin-top:-13px;
   /*border: 3px solid #c9c9cb;*/
   border: 3px solid black;
   border:2px solid #aaaaab;
   /*border: 3px solid #c9c9cb;*/
   z-index:1;

}

div.subsection {
   text-align:left;
   padding-top:15px;
   padding-bottom:15px;
   padding-left: 5px;
   padding-right: 3px;
   /*background:#f8f8f8;*/
   /*background: rgba(245,245,245,0.8);*/
}

div.subsection_title {
   margin:0px;
   padding-left: 5px;
   padding-right: 5px;
   padding-top: 0px;
   padding-bottom: 0px;
   border: 2px solid #dddddf;
   background: #f2f2f2;
   border-radius:10px;
   cursor: pointer;
   user-select:none;
   -webkit-touch-callout: none;
   -webkit-user-select: none;
   -khtml-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
}
div.subsection_body {
   text-align:justify;
   padding-top:10px;
   padding-left: 10px;
   padding-right: 40px;
}

div.summarydiv {
   padding-left:30px;
   padding-top:10px;
   padding-bottom:10px;
   background:#98e07c;
   font-weight:bolder;
   text-align:left;
}

div.aside {
   border: 2px solid #d2edfb;
   background: #e6f6ff;
   border-radius:10px;
   margin-left:10px;
   margin-right:10px;
   padding-left:10px;
   padding-right:10px;
}

p.note {
   font-family: fira-sans-it;
   font-size : 70%;
   padding-left:30px;
   padding-right:30px;
}

.down {
   color:#62627D;
   margin-right:10px;
}

div.dropprime {
   position:absolute;
   top: 30px;
   border : 1px solid red;
}

div.tail_outer {
   visibility : visible;
   min-width: 810px;
   width : 90%;
   min-width: 880px;
   margin: 0 auto;
}

div.tail_foo {
   margin:0;
   margin-left:12px;
   margin-right:12px;
   margin-top:22px;
   border-top:3px solid #adadad;
   /*background:#cdcdcd;*/
   padding-top:2px;
   /*border-top:3px solid #adadad;*/
   /*border-bottom:3px solid #adadad;*/
   /*border:3px solid #adadad;*/
   /*height:39px;*/
}

div.tail_inner {
   font-family: fira-sans-it;
   text-align:center;
   padding-top:10px;
   padding-bottom:10px;
   min-width: 810px;
   max-width: 1200px;
   width : 80%;
   margin : 0 auto;
   margin : 0 auto;
   margin-top: 14px;
   /*background:#bf8762;*/
}

div.diggingdeeper {
   background: #d4d4d4;
   padding:20px;
}
div.dig_body {
   display:none;
}

span.tocel {
   cursor:pointer;
   color:#2722e5;
}

span.tocel:hover {
   color:red;
}

span.tocel2 {
   cursor:pointer;
   color:#3f6bac;
   font-size:90%;
}

span.tocel2:hover {
   color:red;
}


ol.toc_ol {
   list-style: none;
}

/* Handy for the future if need to keep numbering */
/*ol.toc_ol:first-of-type {*/
  /*counter-reset: mycounter;*/
/*}*/

ol.toc_ol_2 {
   list-style: none;
}



div.wrap_head_body {
   min-height:100vh;
   margin: 0 auto -100px;
}
div.wrap_tail div.push {
   height: 70px;
}
div.push {
   height: 70px;
}

.sdivb {
   cursor:pointer;
   padding:10px;
   padding-left:15px;
   padding-right:15px;
   border-radius:3px;
   user-select:none;
   -webkit-touch-callout: none;
   -webkit-user-select: none;
   -khtml-user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   user-select: none;
}

.sdivb:hover {
   background: #bcf6a5;
}

.primetotime {
   float:right;
   padding:10px;
   padding-left:15px;
   padding-right:15px;
   border-radius:3px;
   font-style:italic;
   font-size:75%;
   font-weight:normal;
   display:none;
}

.sdivbsel {
   background: #ccffb5;
}

.sdivbsel:hover {
   background: #bcf6a5;
}

.dispfoodiv {
   display:none;
}

.codemain {
   /*border: 4px solid #292929;*/
   /*border: 4px solid gree;*/
   background: #32393f;
}

.fooupdown {
   position:relative;
   top : -.25em;
   padding-left:2px;
   padding-right:15px;
   color:#dfdfe7;
   font-size:60%;
   vertical-align: middle;
}


.ani03d {
}
.ani03p {
   background:white;
}
.ani03hl {
   background: ;
}

/*::-webkit-scrollbar              {*/
  /*width:0px;*/
/*}*/

/*::-webkit-scrollbar              {*/
  /*background: transparent;*/
  /*overflow:visible;*/
/*}*/
/*::-webkit-scrollbar-button*/
/*{*/
  /*background: transparent;*/
/*}*/
/*::-webkit-scrollbar-track        {*/
  /*background: transparent;*/
/*}*/
/*::-webkit-scrollbar-track-piece  {*/
  /*background: transparent;*/
/*}*/
/*::-webkit-scrollbar-thumb        {*/
   /*background: red;*/
   /*width:20px;*/
   /*margin-left:-20px;*/
/*}*/
/*::-webkit-scrollbar-corner       {*/
  /*background: transparent;*/
/*}*/
/*::-webkit-resizer                {*/
  /*background: transparent;*/
/*}*/

@media only screen and (max-width: 1000px) {

div.sub_header { height: 80px; }
#prev { line-height: 80px; }
#next { line-height: 80px; }
body { font-size: 2em; }
h1 { font-size: 120%; }
p.descr { font-size:80%; }

}