:root {
  --background-color: #79909c;
  --text-color: #ffffff;
  --vertical-padding: 10px;
  --document-horizontal-margin: 10px;
  --main-content-max-width: 800px;
  --link-color: #073b4c;

  --nav-width: 220px;
  --nav-width-plus-margin: 240px;
}

.main-nav {
  background-color: #073b4c;
  overflow-y: auto;
}

.page-toc {
  overflow-y: hidden;
}

h2 {
  margin-bottom: 0.5rem;
  margin-top: 0.5rem;
  padding-bottom: 0.5rem;
  padding-top: 0.5rem;
  border-bottom: none;
}

ul {
  margin-top:0.0em;
  margin-bottom:0.0em;
}
p {
  margin-top:1.0em;
  margin-bottom:0.0em;
}

code {
  background-color: #406574;
  border: none;
  font-family: "source-code-pro", monospace;
}

mark {
/* 
  background-color: #80AEBD;
 */
  background-color: #79909c;
  border: none;
  color: var(--text-color);
/* 
  font-family: "source-code-pro", monospace;
 */
  font-style: italic;
  font-weight: bold;
}

.main-content {
}

@media (max-width: 800px) {
  .page-toc {
    display: none;
  }
}

img {
   max-width: 600px;
}

a {
	font-weight: bold;
}

abbr {
  position: relative;
  font-weight: bold;
  font-size: 0.9rem;
}

abbr:hover::after {
  content: attr(tt);
  position: absolute;    
  left: 0;
  top: 0rem;
  pointer-events: none;
  background: #79909c;
  width: 190px;
  z-index: 1;
}

.main-nav a {
  display: inline;
}