/*
   basic page style definitions for qgraf website
*/

 body {
  font-family: Carlito, "DejaVu Sans", sans-serif;
  font-style: normal;
  font-size: 0.97rem;
  font-weight: normal;
  word-spacing: +0.053em;
  letter-spacing: +0.017em;
  color: rgb(251,253,255);
  background-color: rgb(2,47,113);
 }

 div.main {
  max-width: 73em;
  min-width: 59em;
  display: flex;
  justify-content: flex-start;
  flex-direction: row;
  flex-wrap: nowrap;
 }

 div.lhs {
  min-width: 11em;
  padding-top: 0px;
  padding-left: 1em;
  padding-right: 1em;
 }

 div.lmargin {
  min-width: 10em;
  padding-top: 0px;
  padding-left: 1px;
  padding-right: 1px;
 }

 div.rhs {
  min-width: 47em;
  padding-top: 0px;
  padding-left: 2em;
  padding-right: 2em;
  line-height: 1.27;
 }

 div.lmenu {
  height: 100%;
  padding-top: 0px;
  padding-left: 2em;
  padding-right: 2em;
  overflow-x: auto;
  position: fixed;
  top: 0;
  left: 0;
  background-color: rgb(53,107,157);
 }

 div.lmenu a {
  margin-top: 1ex;
  padding-top: 0.25ex;
  padding-bottom: 0.25ex;
  padding-left: 0.25em;
  padding-right: 0.25em;
  text-decoration: none;
  color: rgb(2,47,113);
  display: block;
 }

 div.lmenu a:hover {
  color: rgb(239,241,251);
 }

 div.hbox {
  margin-top: 4ex;
  margin-bottom: 2ex;
  min-width: 47em;
  padding-top: 1.7ex;
  padding-bottom: 1.7ex;
  padding-left: 2em;
  padding-right: 2em;
  border-style: solid;
  border-width: thin;
  border-color: rgb(71,101,151);
  font-size: 0.82rem;
  font-weight: bold;
 }

 div.hboxr {
  float: right;
  font-family: monospace;
  font-size: 0.76rem;
  font-weight: normal;
 }

 div.hboxs {
  margin-top: 4ex;
  margin-bottom: 2ex;
  width: 41em;
  padding-top: 1.7ex;
  padding-bottom: 1.7ex;
  padding-left: 2em;
  padding-right: 2em;
  border-style: solid;
  border-width: thin;
  border-color: rgb(71,101,151);
  font-size: 0.82rem;
  font-weight: bold;
 }

 div.ibox {
  margin-top: 1ex;
  margin-bottom: 1px;
  padding-top: 1ex;
  padding-bottom: 1px;
  margin-left: 1px;
  margin-right: 1px;
  padding-left: 1px;
  padding-right: 1px;
  border-style: none;
 }

 div.jbox {
  margin-top: 1ex;
  margin-bottom: 1px;
  padding-top: 2ex;
  padding-bottom: 1px;
  margin-left: 1px;
  margin-right: 1px;
  padding-left: 1px;
  padding-right: 1px;
  border-style: none;
  font-size: 0.82rem;
  font-weight: bold;
 }

 div.tbox {
  margin-top: 1px;
  margin-bottom: 1px;
  padding-top: 1px;
  padding-bottom: 1px;
  margin-left: 1px;
  margin-right: 1px;
  padding-left: 1em;
  padding-right: 1em;
  border-style: none;
 }

 div.h {
  padding-top: 7ex;
  padding-bottom: 1ex;
  padding-left: 1px;
  padding-right: 1px;
  white-space: nowrap;
  font-weight: bold;
 }

 div.hc {
  padding-top: 4ex;
  padding-bottom: 1ex;
  padding-left: 1px;
  padding-right: 1px;
  white-space: nowrap;
  text-align: center;
 }

 div.wsp {
  letter-spacing: +0.023em;
  line-height: 1;
  padding-top: 1px;
  padding-bottom: 1px;
 }

 div.ul {
  margin-top: 1px;
  margin-bottom: 1px;
  padding-top: 1px;
  padding-bottom: 1px;
 /* list-style-type: circle; */
 }

 ul.d {
  list-style-type: disc;
 }

 ul.n {
  list-style: none;
 }

 div.li {
  margin-top: 1ex;
  margin-bottom: 1ex;
  padding-top: 1px;
  padding-bottom: 1px;
 }

 li.c {
  margin-top: 3ex;
  margin-bottom: 1ex;
  padding-left: 0.125em;
 }

 div.p {
  margin-top: 1px;
  margin-bottom: 1px;
  padding-top: 1px;
  padding-bottom: 1px;
 }

 .nw {
  white-space: nowrap;
 }

 table {
  border-style: none;
  border-spacing: 0px;
  table-layout: auto;
  text-align: left;
  white-space: nowrap;
 }

 td.p0 {
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 0px;
  padding-right: 0px;
  text-align: left;
 }

 td.p1 {
  padding-top: 0px;
  padding-bottom: 2ex;
  padding-left: 0px;
  padding-right: 0px;
  text-align: left;
 }

 td.p2 {
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 2em;
  padding-right: 2em;
  text-align: left;
 }

 td.p2r {
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 2em;
  padding-right: 2em;
  text-align: right;
 }

 td.p3 {
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 0.5em;
  padding-right: 0.5em;
  text-align: left;
 }

 td.p4 {
  line-height: 1;
 }

 a:link {
  color: rgb(113,151,199);
  text-decoration: none;
 }

 a:visited {
  color: rgb(113,151,199);
  text-decoration: none;
 }

 a:hover {
  color: rgb(113,151,199);
  text-decoration: underline;
 }

 a:active {
  color: rgb(113,151,199);
  text-decoration: none;
 }

 a:focus {
  color: rgb(113,151,199);
  text-decoration: underline;
 }