/*----------------------*/
/* HTML styles */
/*----------------------*/
a {text-decoration:none;}
a:hover {text-decoration:underline;}
h1 a:hover { text-decoration:none;}
body
{
  background-color:var(--color-0-light);
  font-family:Verdana,Arial,Sans-Serif;
  margin:0;
  padding:0;
  /*
  margin-left:.4em;
  margin-right:.2em;
  */
}
code {background-color:#DDDDDD; border:solid 1pt black; display:block;
  font-family:Monospace; font-weight:bolder; padding:.5em;}
dd { margin-bottom:.5em; }
/*
dl {margin-top:.5em;}
dl.inline dt {float:left; }
dl.inline dt:after {content:':'; padding-right:.5em;}
*/
dt {font-weight:bold;}
figure {display:inline-table; margin:0; }
figure.center {
    display: table;
    margin: auto;
}
figure figcaption {caption-side:bottom; display:table-caption; font-size:smaller;
                   padding-left:.5em; padding-right:.5em; text-align:center; }
figure img { border:none; }
h1 {
    color:var(--color-1-dark); font-size:200%;
}
h2 {
    color: var(--color-1-dark);
    font-size: 150%;
}
h3 {
    color: var(--color-1-dark);
    font-size: 125%;
}
h4 {
    color: var(--color-1-dark);
    font-size: 110%;
}
h5 {
    color: var(--color-1-dark);
    font-size: 100%;
}
h6 {
    color: var(--color-1-dark);
    font-size: 90%;
}
hr { margin-bottom:1em; margin-top:1em;}
img { max-width:100%; }
sup {font-size:smaller;}
/*----------------------*/
/* Lists */
li { margin-bottom:.5em;}
ol,ul { display:table-cell;} /* display:table to keep bullets from bleeding to the left */
li > ol > li:first-child, li > ul > li:first-child { margin-top: .5em; }
/*----------------------*/