.infobox {
  border: 2px solid #888888;
  background-color: #f1f1f1;
  margin-bottom: 1em;
  margin-left: 1em;
  padding:.4em;
  float: right;
  clear: right;
  font-size: 90%;
  width: 16em;
  vertical-align: middle;
}
.infobox td, .infobox th {vertical-align:top}
table.infobox td p {margin:0}

.menu {
  border: 2px solid #888888;
  background-color: #f1f1f1;
}
.menu td, .menu th {vertical-align:top}
table.menu td p {margin:0}

.toc {
  border: 2px solid #888888;
  background-color: #f1f1f1;
  margin-bottom: 1em;
  margin-right: 1em;
  padding:.4em;
  float: left;
  font-size: 110%;
  vertical-align: middle;
}
.toc td, .toc th {vertical-align:top}
table.toc td p {margin:0}

.notice {
  text-align: justify;
  margin: 1em 0.5em;
  padding: 0.5em;
}
 
.messagebox {
  border: thin solid #aaaaaa;
  background-color: #f9f9f9;
  width: 88%;
  margin: 0 auto 1em auto;
  padding:.4em;
  vertical-align: middle;
  font-size: 90%
}
 
blockquote {
  margin:0.7em 0 0.7em 5%;
  padding:0.7em 2% 0.7em 4%;
  background-color:#F5F5F5;
}

p {
	text-align: justify;
}