.center{text-align:center;margin-left:auto;margin-right:auto;margin-top:2ex;margin-bottom:2ex;}
h2 {border:solid;border-width:0px 0px 2px 0px;padding:1ex 0ex;margin:2ex 0ex;}
.title {text-align:center; margin: 2ex 4ex 4ex 4ex;}
.sc {font-variant:small-caps;}
.sf {font-family:sans;}
.bold {font-weight:bolder;}
.keyword{font-family:monospace;font-weight:bold;}
.art-title{font-style: italic;}
.some-title{font-style: italic;}
ul {margin:1ex 1ex;list-style:none;}
ul.menu{margin:0ex 1ex;padding:0ex;list-style:none;}
li.menuitem{margin:0ex 1ex;padding:0ex;}
li {margin:1ex 0ex}
a.std:visited {color : #416DFF; text-decoration : none; }
a.std:link {color : #416DFF; text-decoration : none;}
a.std:hover {color : red; text-decoration : none; background-color: #5FFF88}
a.std:active {color : red; text-decoration : underline; }
a.email:visited {color : #416DFF; text-decoration : none; }
a.email:link {color : #416DFF; text-decoration : none;}
a.email:hover {color : red; text-decoration : none; background-color: #5FFF88}
a.email:active {color : red; text-decoration : underline; }
a.email{font-family:monospace;font-weight:bold;}

p {margin-left:1.5ex;}

.article {
  margin: 0.5em 2em 1em 1em;
  padding: 0em 0em 0em 1em;
  border: thin;
  border: solid;
  border-width:0px 0px 0px 2px;
}

#sidebar {
  position: fixed;
  width: 10em;
  height: auto;
  top: 3em;
  right: auto;
  left: 0px;
}
#main {
  margin:0em 0px 3em 6em;
  border:solid;
  border-width:0px 0px 0px 2px;
  padding:3em 2em 0px 2em;
}