/*
Full CGA 16-color palette
0	black         #000000
1	blue          #0000AA	
2	green         #00AA00	
3	cyan          #00AAAA	
4	red           #AA0000	
5	magenta       #AA00AA	
6	brown         #AA5500	
7	light gray    #AAAAAA	
8	gray          #555555
9	light blue    #5555FF
10	light green   #55FF55
11	light cyan    #55FFFF
12	light red     #FF5555
13	light magenta #FF55FF
14	yellow        #FFFF55
15	white         #FFFFFF
*/
html{
  position: relative;
  min-height: 100%;
}

header{
  position: sticky;
  z-index: 100;
  top: 0;
}

body {
    margin: 0;
    font-size: 1.25em;
    background-image: url("../images/subtle_white_mini_waves.png");
    background-repeat: repeat;    
    font-family: 'Times New Roman', Times, serif;
    /* similar to <footer> height */
    margin-bottom: 500px;
}

main{
  padding: 10px;
}

footer{
  width:100%;
  margin: 0;
  background: #faf7ee;
  position: absolute;
  bottom: 0;
  padding-top: 20px;
  padding-bottom: 20px;
  color: #5a5130;
}

a{
  text-decoration: none;
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif;
}

input[type=text], input[type=email], input[type=password]{
  width: 100%;
  padding: 12px 20px;
  margin: 8px 0;
  display: inline-block;
  border-radius: 4px;
  box-sizing: border-box;
}

/* .content-side-left>nav{ */
  /* border: 1px solid black; */
  /* padding: 1rem; */
  /* display: flex; */
  /* flex-direction: column; */
  /* background-image: url("../images/subtle_white_mini_waves.png"); */
  /* background-repeat: repeat;    */
/* } */

/* .content-main-center>.content-main { */
  /* border: 1px solid black; */
  /* padding: 1rem; */
  /* background-image: url("../images/subtle_white_mini_waves.png"); */
  /* background-repeat: repeat; */
  /* word-wrap: break-word; */
  /* word-break: break-word; */
  /* hyphens: auto; */
/* } */

pre.cblock {
    font-family:"monospace","Consolas","Monaco";
    font-size:100%;
    background-color: darkgray;
    color: black;
    padding: 12px;
}

/* desert scheme ported from vim to google prettify */
pre.prettyprint { display: block; background-color: #333 }
pre .nocode { background-color: none; color: #fff }
pre .str { color: #ffa0a0 } /* string  - pink */
pre .kwd { color: #f0e68c; font-weight: bold }
pre .com { color: #87ceeb } /* comment - skyblue */
pre .typ { color: #98fb98 } /* type    - lightgreen */
pre .lit { color: #cd5c5c } /* literal - darkred */
pre .pun { color: #fff }    /* punctuation */
pre .pln { color: #fff }    /* plaintext */
pre .tag { color: #f0e68c; font-weight: bold } /* html/xml tag    - lightyellow */
pre .atn { color: #bdb76b; font-weight: bold } /* attribute name  - khaki */
pre .atv { color: #ffa0a0 } /* attribute value - pink */
pre .dec { color: #98fb98 } /* decimal         - lightgreen */

/* Specify class=linenums on a pre to get line numbering */
ol.linenums { margin-top: 0; margin-bottom: 0; color: #AEAEAE } /* IE indents via margin-left */
li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8 { list-style-type: none }

@media print {
  pre.prettyprint { background-color: none }
  pre .str, code .str { color: #060 }
  pre .kwd, code .kwd { color: #006; font-weight: bold }
  pre .com, code .com { color: #600; font-style: italic }
  pre .typ, code .typ { color: #404; font-weight: bold }
  pre .lit, code .lit { color: #044 }
  pre .pun, code .pun { color: #440 }
  pre .pln, code .pln { color: #000 }
  pre .tag, code .tag { color: #006; font-weight: bold }
  pre .atn, code .atn { color: #404 }
  pre .atv, code .atv { color: #060 }
}

/* Latex symbol */
.tex sub, .latex sub, .latex sup {
  text-transform: uppercase;
}

.tex sub, .latex sub {
  vertical-align: -0.5ex;
  margin-left: -0.1667em;
  margin-right: -0.125em;
}

.tex, .latex, .tex sub, .latex sub {
  font-size: 1em;
}

.latex sup {
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}