class=noborderhr {
  border-width: 1px;
  border-style: dotted;
}

pre {
  font-style: sans-serif;
  border-width: 1px;
  border-style: dotted;
  background-color: rgb(255, 255, 172);
  padding: 12px;
  -moz-tab-size: 2;
  -o-tab-size: 2;
  tab-size: 2;

}

td {
  padding: 5px;
  border: 1px dotted;
}

td.noborder {
  border-style: none;
  padding: 20px;
}

iframe {
  padding-top: 30px;
}

h4 {
  border-width: 0px 0px 1px 1px;
  border-style: dotted;
  padding: 2px;
}

p {
  border-width: 0px 0px 0px 1px;
  border-style: dotted;
  padding: 5px;
}

p.hl {
  border-width: 0px 0px 1px 1px;
  border-style: dotted;
}

p.q {
  border-width: 0px 0px 1px 0px;
  border-style: dotted;
  padding: 5px;
  font-weight: bold;
}

p.a {
  padding: 0px 0px 0px 30px;
  border: none;
}

p.50 {
}

h3#req {
  background-color: rgb(255, 192, 192);
  border: 1px dotted rgb(255, 0, 0);
  padding: 5px;
  font-family: sans-serif;
  font-weight: normal;
}

a {
  text-decoration: none;
  color: rgb(192, 0, 0);
  font-weight:bold;
}

a:hover {
  text-decoration: underline;
}

a.menu_item {
  border: 1px dotted rgb(0, 128, 128);
  padding: 5px;
}

a.menu_item_current {
  border: 1px dotted rgb(0, 128, 128);
  background-color: rgb(220, 255, 255);
  padding: 5px;
}

body {
  font-family: sans-serif;
  font-size: 1.25em;
  margin-left: 5%;
  margin-top:1em;
  margin-bottom: 1em;
  background-color: rgb(255, 255, 192);
  color: rgb(64, 64, 64);
}

h4.warn {
  color: rgb(255,0,0);
  font-weight: bold;
}

h5.warn {
  color: rgb(255,0,0);
  font-weight: bold;
}

div.img_wav {
  float: left;
  width: 600px;
  height: 600px;
}

div.img_harm {
  float: right;
  width: 600px;
  height: 600px;
}

.flash {
  animation-name: flash;
  animation-duration: 5s;
  animation-timing-function: ease-in-out;
  animation-iteration-count: infinite;
  animation-direction: alternate-reverse;
  animation-play-state: running;
}

@keyframes flash {
  from {color: black;}
  to {color: rgb(255, 192, 192);}
}

p.header {
  border: none;
  padding: 0px;
}

iframe.chat {
  border: none;
  width: 50%;
  height: 460px;
  background-color: rgb (255, 255, 192);
}