/* --== default element styles ==-- */
body {
  background: white;
  color: black;
  font: 10pt Arial, Helvetica, sans-serif;

  margin: 0;
  padding: 0;
}

img {
  border: none;
}

p {
  text-align: justify;
  margin: 0.5em;
}
p:first-line {
  text-indent: 2em;
}

a {
  background: transparent;
  color: blue;
  text-decoration: underline;
}
a:hover {
  background: navy;
  color: white;
  text-decoration: none;
}

abbr {
  border-bottom: 1px dashed gray;
}

/* --== common classes ==-- */
.inactive {
  text-decoration: line-through;
}

/* --== Header + top menu ==--*/
#header {
  position: fixed;
  top: 0;
  right: 0;
  bottom: auto;
  left: 0;
  width: auto;
  height: 60pt;

  background: transparent;
}
#header h1 {
  display: block;
  margin: 5pt;
  padding: 0;
  width: auto;
}
#menu_top {
/*   display: compact; */
  background: white;
  color: navy;
  border-bottom: 1px dashed black;

  height: 20pt;
}
#menu_top .about {
  float: right;
}
#menu_top ul {
  display: inline;
  margin: 0;
  padding: 0;
}
#menu_top ul li {
  display: inline;
  margin: 1pt 3pt;
  padding: 0;

  font-size: 12pt;
}
#menu_top ul li a {
  color: navy;
  text-decoration: none;
}
#menu_top ul li a:hover {
  background: navy;
  color: white;
  text-decoration: none;
}

#menu_left {
  position: fixed;
  top: 60pt;
  right: auto;
  bottom: 15pt;
  left: 0;
  width: 100pt;
  height: auto;

/*  background: yellow; */
}

#menu_left ul {
  background: #8095FF;
  border: 1px dotted blue;
  margin: 5pt;
  padding: 2pt;
  width: auto;
  list-style-type: none;
  list-style-position: inside;
}
#menu_left ul li {
/*   display: compact; */
  width: auto;
  margin: 0;
  padding: 0;
}
#menu_left hr {
  width: 84pt;
  height: 1px;
  border-top: none;
  border-left: none;
  border-right: none;
  border-bottom: 1px solid navy;
}
#menu_left a {
  text-decoration: none;
}
#icons {
  position: relative;
  margin: 5pt;
  bottom: 0;
}
#icons a:hover {
  background: transparent;
  color: black;
}

#footer {
  position: fixed;
  top: auto;
  right: 0;
  bottom: 0;
  left: 0;
  width: auto;
  height: 15pt;
  text-align: center;
  font-size: 77%;

/*   background: white; */
}


/* --== Content part ==-- */
#content {
  position: fixed;
  top: 60pt;
  right: 0;
  bottom: 15pt;
  left: 100pt;
  width: auto;
  height: auto;
  min-width: 20em;

  padding: 0 3em;

  overflow: auto;

/*   background: aqua; */
}

#content dd {
  margin-bottom: 5pt;
}