BODY {
  color: black;
  background-color: #f0f0f0;
}
body.white {
  color: black;
  background-color: white;
}
a:hover {
  color: #ffffff;
  background-color: #33ccff; /* #d7d2fa,#ccccff */
}
.new {
  color: #cc3300;
  background-color: #ffff99;
  font-style: italic;
  font-size: xx-small;
  vertical-align: super;
}
DIV.figure {
  width: 80%;
  border-style: double;
  border-width: 3px 3px 3px 3px;
  padding: 5px 5px 5px 5px;
  font-family: monospace;
  border-color: #3366ff;
}

.center {
  text-align: center;
}

.right {
  text-align: right;
}

.left {
  text-align: left;
}

div.title {
  text-align: center;
  font-weight: bold;
}

div.list {
  margin-left: 5%;
}