/*
 *  Note that using "1fr" rather than "auto" in grid-template-columns / grid-template-rows 
 *  allowed links to anchors to work properly within the scroling div#page. 
 *  With "auto" they snapped back when links hovered (or failed to scroll at all, perhaps
 *  because after clicking we are hovering).
 *
 *  Many thanks to Michael B on Stack Overflow https://stackoverflow.com/a/44207237/1413240
 */

body {
    margin: 0;
    padding: 0;
    font-family: 'Source Sans Pro', sans-serif;
    display: grid;
    grid-template-columns: 20vw 1fr 5vw;
    grid-template-rows:    1fr 3.5em;
    width: 100vw;
    height: 100vh;
    overflow: hidden;
}

h1 {
    border-style: none none solid none;
    border-width: 10px;
    border-color: #b5bdc8;
    padding-bottom: 0.125em;
}

h3 {
    border-style: none none solid none;
    border-width: 2px;
    border-color: rgb(250, 190, 0);
    padding-bottom: 0.125em;
}

h4 {
    margin-right: 3em;
    border-style: none none dashed none;
    border-width: 1px;
    border-color: #AAAAAA;
    padding-bottom: 0.125em;
}

h4:before {
    font-size: larger;
    content: "\261B\2002";
}

a {
    color: rgb(0,0,180);
}

a:hover {
    color: rgb(200, 136, 0);
}


a:visited {
    color: rgb(0,0,180); /* rgb(200, 136, 0); */
}

a:visited:hover {
    color: rgb(200, 136, 0);
}

#navigationColumn {
    grid-column-start: 1;
    grid-column-end:   2;
    grid-row-start:    1;
    grid-row-end:      3;  
    margin-right: 1em;
    font-family: 'Ubuntu Mono', monospace;
    background-color: black;
    color: rgb(0, 255, 0);
    
    display: flex;
    flex-direction: column;
}

#navigationColumn a {
    text-decoration: none;
}

#navigationColumn a {
    color: rgb(0, 255, 0);
}

#navigationColumn a:visited {
    color: rgb(0, 255, 0);
}

#navigationColumn a.active {
    color: rgb(250, 190, 0);
    font-weight: normal;
}

#navigation {
    flex-basis: 0;
    flex-grow: 1;
    flex-shrink: 1;
    overflow-x: hidden;
    overflow-y: scroll;
    scrollbar-color: #454 black;
}
#navigation::-webkit-scrollbar {
  width: 10px;
  background-color: black;
}
#navigation::-webkit-scrollbar-thumb {
    width: 6px;
  border-radius: 6px;
  -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3);
  background-color: #454;
}

#navigation, #pageToc {
    line-height: 100%;
}

#navigation li {
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

#navigation a:hover, #pageToc a:hover {
    text-decoration: underline;
}

#navigation a.active:hover {
    text-decoration: none;
}

#navigation a.active:after {
    content: " >>>";
}

#navigation ul > li > ul > li > a.page + ul {
    display: none;
}

#navigation ul > li > ul > li > a.page.active + ul {
    display: block;
}


#navTitle {
    text-align: center;
    font-weight: normal;
    padding-top: 0.5em;
    padding-bottom: 1em;
    
    flex-grow: 0;
    flex-shrink: 0;
}

#navProjectVersion {
    font-size: smaller;
}

#navHomeLink a {
    font-size: 175%;
    color: white;
}

#navHomeLink a:visited {
    color: white;
}

#navFooter {
    font-family: 'Ubuntu Mono', monospace;
    font-size: smaller; /* smaller still! */
    flex-grow: 0;
    flex-shrink: 0;
    padding-bottom: 0.5em;
}

#rightColumn {
    grid-column-start: 3;
    grid-column-end:   4;
    grid-row-start:    1;
    grid-row-end:      3;
    justify-self:      stretch;
    align-self:        stretch;
    background-color: black;
}

#page {
    grid-column-start: 2;
    grid-column-end:   3;
    grid-row-start:    1;
    grid-row-end:      2;
    background-color: white;
    /* scroll-behavior: smooth; */
    overflow-y: scroll;
}

#pageContent {
    margin-top: 1em;
}


div#pageContent > p, div#pageContent > ul, p, div#pageContent > div {
    margin-left: 0.5em;
    margin-right: 2em;
}

div#pageContent pre {
    margin-left: 1em;
    margin-right: 1em;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    padding-left: 1em;
    padding-right: 1em;
    background-color: #DDDDFF;
    overflow: scroll;
}

div#pageContent code {
    font-family: 'Ubuntu Mono', monospace;
    font-size: smaller;
    background-color: #DDDDFF;
}

div#pageContent :not(pre) > code {
    padding-left: 3px;
    padding-right: 3px;
    padding-top: 1px;
    padding-bottom: 1px;
}

#pageFooter {
    grid-column-start: 2;
    grid-column-end:   3;
    grid-row-start:    2;
    grid-row-end:      3;
    border-top: 2px solid black;
    border-left: 1px solid #DDDDFF;
    padding-left: 0.25em;
    margin-top: 0.5em;
    background: #b5bdc8;
    font-size: smaller;
}

#pageFooter a {
    color: black;
    font-weight: bold;
}

#pageFooter a:visited {
    color: black;
}

h1 {
    margin: 0;
    padding: 0;
}

div {
    margin: 0;
    padding: 0;
}

p {
    margin-top: 0.75em;
    margin-bottom: 0;
    padding: 0;
}

ul li {
    margin-top: 0.75em;  
    margin-bottom: 0;
}

.toc ul li, #navigation ul li, .tight ul li {
    margin-top: 0;  
    margin-bottom: 0;
}

#projectVersion {
}

#pageToc {
    margin-top: 0.5em;
    margin-left: 1em;
    padding: 0;
}

#pageToc li {
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

#pageToc > ul {
    margin: 0;
    padding: 0;
}

#pageToc > ul > li {
    margin: 0;
    padding: 0;
}

#pageToc > ul > li > ul > li {
    margin: 0;
    padding: 0;
}

#pageToc > ul > li > ul > li > ul > li {
    margin: 0;
    padding: 0;
}

#navigation ul {
    margin-top: 0;
    padding-left: 10%;
}

#navigation > ul > li, #pageToc > ul > li {
    list-style-type: none;
    font-size: smaller;
}

#navigation > ul > li > ul, #pageToc > ul > li > ul {
    padding-left: 0.75em;
}

#navigation ul > li > ul > li, #pageToc ul > li > ul > li {
    list-style-type: none;
}

#pageToc ul > li > ul > li > ul {
    margin-left:   1.5em;
    margin-right:  0em;
    margin-top:    0em;
    margin-bottom: 0em;
    padding: 0;
    font-size: 90%;
}

#pageToc ul > li > ul > li > ul > li {
    list-style-type: none;
    margin: 0;
    padding: 0;
    line-height: 120%;
}

#pageToc ul > li > ul > li > ul > li > a, #pageToc ul > li > ul > li > ul > li > a:visited {
    color: rgb(250, 190, 0);
}

#navigation ul > li > ul > li {
    font-size: smaller;
    line-height: 110%;
}

#navigation ul > li > ul > li:before, #pageToc ul > li > ul > li:before {
    font-family: 'Source Sans Pro', sans-serif;
    content: "\21B3\2009";
}

#pageToc > ul > li:before {
    color: white;
    content: "This Page: ";
}

#pageToc > ul > li > a {
    color: white;
}

#pageToc > ul > li > a:visited {
    color: white;
}

    
.active {
  font-weight: bold;
}

#pageContent div.callout {
    font-size: smaller;
    margin-top: 1em;
    margin-left: 4em;
    padding-left: 0.5em;
    padding-right: 0.5em;
    padding-bottom: 0.5em;
    padding-top: 0.125em;
    width: calc(100% - 20vw - 5vw - 5vw);
}

#pageContent div.callout p {
    padding-left: 50pt;
    padding-right: 50pt;
    text-align: justify;
}

#pageContent div.callout ol, #pageContent div.callout ul {
    padding-left: 80pt;
    padding-right: 50pt;
}

#pageContent div.callout-title {
    display: none;
}

#pageContent div.callout.warning {
    border-left: 10px solid rgba(255, 0, 0, 0.4);
    border-right: 2px solid rgba(255, 0, 0, 0.4);
    background-color: rgba(255, 0, 0, 0.1);
}

#pageContent div.callout.warning:before {
    content: "\26A0\FE0F";
    font-size: 36pt;
    float: left;
    position: relative;
    top: 20pt;
}
#pageContent div.callout.note {
    border-left: 10px solid rgba(0, 100, 0, 0.4);
    border-right: 2px solid rgba(0, 100, 0, 0.4);
    background-color: rgba(0, 100, 0, 0.1);
}

#pageContent div.callout.note:before {
    content: "\1F4A1";
    font-size: 36pt;
    float: left;
    position: relative;
    top: 20pt;
}
#pageContent div.callout.note pre, #pageContent div.callout.note code, #pageContent div.callout.note pre > code {
    background-color: rgba(255, 255, 0, 0.5);
}

.retroRule {
    text-align: center;
}

#githubBox {
    margin-left: 4em;
    margin-right: 4em;
    margin-top: 1em;
    padding-left: 1em;
    padding-rightt:1em;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    border: 2px solid black;
    background-color: #EEEEEE;
    font-size: smaller;
}

#githubBox a, #githubBox a:visited {
		  color: rgb(0,0,180);
}

#googleLicenses {
    margin-top: 0;
    margin-bottom: 0;
    padding-left: 1em;
    font-size: 9pt;
}

.optional {
    display: none;
    border: 1px solid black;
    background-color: #EEFFFF;
    margin: 0.5em;
    padding: 0.5em;
    border-radius: 25px;
    font-size: smaller;
}

.optional > h5 {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    margin-left: 0.375em;
    font-size: 125%;
}

.optional-triangle {
    text-decoration: none;
}

a.optional-replace-control {
    text-decoration: none;
    font-style: italic;
    color: green;
    font-size: smaller;
}

a.optional-replace-control:hover {
    cursor: pointer;
    color: black;
}

a.optional-replace-control-triangle {
    text-decoration: none;
    font-size: 75%;
    color: #CCCCCC;
}

a.optional-replace-control-triangle:hover {
    cursor: pointer;
    color: black;
}

div.optional-replace-control-parent {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

.centered {
    text-align: center;
}

.no-display {
    display: none;
}

.smaller {
    font-size: smaller;
}

.bolder {
    font-weight: bold;
}

.bolder code {
    font-weight: normal;
}

.embedded-toc-list {
}

.embedded-toc-list ul {
    margin-top:     0.5em;
    padding-left:   1.5em;
    font-size:    smaller;
}

.embedded-toc-list ul li {
    list-style-type: none;
    margin-top:    0.25em;
    line-height:     110%;
}

.embedded-toc-list ul li:before {
    content: "\261B\2002";
}



/* We use javascript to turn on display of blocks with nested lists */
/*
.inner-only > .toc > ul > li {
    display: none;
}
*/

a.anchor {
    text-decoration: none;
    display: block;
    float: right;
}

span.anchor-link:before {
    text-decoration: none;
    content: "\1F517";
    font-size: 9pt;
}

div.keydesc {
    font-size: smaller;
}

div.padding_half_em {
    padding: 0.5em;
}