/* Misc */
:root {
    /* --myblue: #2BA6E3; */
    /* --myblue: dodgerblue; */
    --myblue: rgb(0, 157, 230);
    /* --bckgblue: rgb(230, 247, 255); */
    --bckgblue: rgb(240, 250, 255);
}
body { word-wrap:break-word; }

ol li ul, ol li ol {
margin-bottom: 1.25em;
}

article { padding-left:1em; }

h1 {font-size: 150%}
h2 {font-size: 130%;
padding-left:1em;}
h3 {font-size: 110%}
ul {
  padding-left: 1em;
}
/* Base.html - top navigation */
.top-bar {
background: var(--myblue); /* Header color */
height: 100%;
padding-bottom: .5em;
margin-bottom: 0em;
/* margin-bottom: 2em; */
/* position: sticky; /* Make it stick, even on scroll*/ */
/* top: 0; */
/* width: 100%; */
}

.top-bar a { color: white;
  font-size: 160% } /* Sitename color */
.nav-bar a {
  background-color: white;
  /* position: -webkit-sticky; /* Safari */ */
  /* position: sticky; */
}
ul.hor-nav {
    list-style-type: none;
    margin-bottom: 1em;
    margin-left: 3em;
    padding: 0;
    overflow: hidden;
    width: 100%;
    background-color: white;
    position: -webkit-sticky; /* Safari */
    position: sticky;
    top: 0;
}
.hor-nav li {
    float: left;
}
 /* border-right: 1px solid #bbb;
.hor-nav li:last-child {
    border-right: none;
} */
.hor-nav li a {
    color: var(--myblue);
    /* margin-top: 1em; */
    display: block;
    padding-top: .3em;
    padding-bottom: .1em;
    padding-left: .4em;
    padding-right: 1em;
    border-left: 4px solid white;
    /* outline-left: 2px solid white; */
    /* width: 100%; */
    height: 100%;
}
/* .side-nav li a.active {
background-color: var(--myblue);
padding-top: .3em;
border-left: 4px solid var(--myblue);
background-color: gray;
color: white;
} */
/* .hor-nav li a:hover:not(.active) { */
.hor-nav li a:hover  {
    background-color: var(--bckgblue);
    color: var(--myblue);
    /* margin-top: 1em; */
    /* margin-bottom: 10em; */
    display: block;
    padding-top: .3em;
    padding-bottom: .1em;
    padding-left: .4em;
    padding-right: 1em;
    border-left: 4px solid var(--myblue);
    /* width: 100%; */
    height: 100%;
}
.hor-nav .light  {
    background-color: var(--bckgblue);
    color: var(--myblue);
    /* margin-top: 1em; */
    /* margin-bottom: 10em; */
    display: block;
    padding-top: .3em;
    padding-bottom: .1em;
    padding-left: .4em;
    padding-right: 1em;
    border-left: 4px solid var(--myblue);
    /* width: 100%; */
    height: 100%;
}
/* Base.html sidebar */
h5.sidebar-title {
border-bottom: 0.1em solid #eeeeee;
color: #777;
margin-top: 0em;
margin-bottom: 1em;
text-transform:uppercase;
font-size: 80%;
font-weight: bold;
text-align: left;
}
/* .side-nav li a { color: #222} */
.side-nav {
    margin-top: 1em;
    margin-right: 2em;
    border-top: 0.1em solid #eeeeee;
    /* border-bottom: 0.1em solid #eeeeee; */
    padding: 0.5em 0.5em;
    padding-top: 1em;
    list-style-type: none;
    /* margin: 0; */
    /* width: 200px; */
    background-color: white;
    /* position: fixed; /* Make it stick, even on scroll */
   /* overflow: auto; /* Enable scrolling if the sidenav has too much content */
}
.side-nav ul {
    list-style-type: none;
    padding-left: 0.5em;
    background-color: white;
}
.side-nav li a {
    color: var(--myblue);
    /* margin-top: 1em; */
    display: block;
    padding-top: .3em;
    padding-left: .5em;
    border-left: 4px solid white;
    height: 100%;
}
/* .side-nav li a.active {
    background-color: var(--myblue);
    padding-top: .3em;
    border-left: 4px solid var(--myblue);
    background-color: gray;
    color: white;
} */
.side-nav li a:hover:not(.active) {
    background-color: white;
    color: var(--myblue);
    padding-top: .3em;
    padding-left: .5em;
    border-left: 4px solid var(--myblue);
    border-color: var(--myblue);
    border:
}
.logos{
  margin-right: 2em;
  margin-top: 0em;
  padding-top: 0em;
  padding: 0.5em 0.5em;
  /* border-bottom: 0.1em solid #eeeeee; */
  text-align: center;
}
.logos ul {
    list-style-type: none;
    padding-left: 0.5em;
    background-color: white;
}
.logos li{
    list-style-type: none;
    background-color: white;
}
.logos img{
  margin-bottom: .5em;
  padding-left: .5em;
  height: 5em;
}
.logos a{

}
/* img :not(.top-bar.img){ */
.center{
  display: block;
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 1em;
  margin-top: 1em;
  /* padding-right: 4em; */
  width: 90%;
}
.caption{
  font-size: 90%;
  color: black;
  margin-bottom: 2em;
}
.caption:hover{
  color: black;
  margin-bottom: 2em;
}

ul.refs{
  margin-left: 1em;
  /* list-style: none; */
}
.refs li{
}

footer {
  font-size: 80%;
}

/* Archives.html */
.table-archive { border: none; }

/* Syntax Highlighting */
.highlight > pre {
word-wrap: normal;
white-space: pre;
margin-top: 1em;
margin-bottom: 1em;
border: 1px solid #ccc;
background: #073642;
padding: 1em;
overflow: auto;
}