body {
  font-family: Verdana, Arial sans-serif
}
#container {
  margin: 0 auto;
  width: 1024px
}
#header {
  width: 100%
}
#sub_header {
  text-align: right;
  font-weight: bold;
  font-size: large;
  color: rgba(255,192,0,0.9);
  padding-right: 20px;
  padding-bottom: 20px;
}
#main_content {
  margin: 0 auto;
  width: 100%;
} 
#main_content_top {
  height: 30px;
} 
.content {
  float: left;
  width: 780px;
  text-align: justify;
  padding: 0 30px 0 30px;
}
.footer {
  float: center;
  width: 780px;
  text-align: justify;
  padding: 50px 30px 0 30px;
  font-size: small
}
.menu {
  width: 140px;
  float: right;
  padding: 0 20px 0 20px;
  border-left: #8C8484 1px solid;
/*  font-size: 12px*/
}
.menu ul {
  font-size: small;
  margin: 0;
  padding: 10px 0 10px 15px
}
.content h1 {
  margin-bottom: 20px;
  font-size: large;
  font-weight: bold;
  color: rgba(0,0,192,0.6)
}
.content h2 {
  margin-top: 15px;
  margin-bottom: 10px;
  font-size: large;
  font-weight: bold;
  color: rgb(255,192,0)
}
.content h3 {
  margin-top: 15px;
  font-size: large;
  font-weight: bold;
  color: rgb(255,192,0)
}
.content h4 {
  margin-top: 20px;
  margin-bottom: 10px;
  font-weight: bold;
  color: rgb(255,192,0)
}
.pc {
  text-align: left;
  font-weight: bold;
  margin-top: 12px;
}
.toc {
  font-size: 90%;
   margin-bottom: 5px;
}
.paper {
  margin-bottom: 3px;
}
.original-publisher {
  font-size: 80%;
}
#clear {
  display: block;
  clear: both;
  width: 100%;
  height:1px;
  overflow:hidden;
}
.menu_title {
  font-weight: bold
}
.menu ul {
  margin: 0;
  padding: 10px 0 20px 0
}
.menu li {
  padding-top: 2px;
  list-style-type: none
}
a {
  color: rgba(0,0,192,0.6);
  text-decoration: none
}
a:hover {
  color: rgba(0,0,192,0.6);
  text-decoration: underline
}
a.menu_link {
  color: rgba(0,0,192,0.6);
  text-decoration: none
}
a.menu_link:hover {
  color: rgba(0,0,192,0.6);
  text-decoration: underline
}
.quote {
  margin: 20px;
  text-align: center;
  font-weight: bold;
  font-style: italic;
  font-size: large;
  color: rgba(0,0,192,0.6)
}
.indent {
  margin: 20px;
  text-align: left
}
.number {
  border-top: thin dashed rgba(0,0,192,0.6);
  border-bottom: thin dashed rgba(0,0,192,0.6);
  margin: 20px;
  text-align: center;
}