body {
  background-color: AliceBlue ;
  font-family: Verdana ;
  font-size: 12pt ;
  color: black ;
  scrollbar-face-color: linen ;
}

div.top_bar {
  padding-top: 10px ;
  border-bottom:  1px solid Gray ;
  margin-bottom: 20px ;
  text-align: center ;
  font-size: 11pt ;
}

div.entry_container {
  border: 1px dotted Gray ;
  margin: 10px ;
  background-color: white ;
  padding-left: 5px ;
}

div.general_container {
  padding: 20px ;
  margin: 20px ;
  border: 1px dashed Black ;
  background-color: white ;
}


div.s1 {
  margin-left: 10px ;
  text-indent: -10px ;
}

div.cms {
  margin-left: 25px ;
  text-indent: -10px ;
}

div.ms {
  margin-left: 40px ;
  text-indent: -10px ;
}

div.block_note {
  margin-left: 30px ;
  text-indent: -30px ;
  font-size: 12pt ;
}

div.encyclopedic {
  margin-left: 30px ;
  font-size: 11pt ;
  color: DarkSlateGray ;
}

div.tec_note {
  margin-left: 40px ;
  font-size: 11pt ;
  color: DarkSlateGray ;
}

div.mode_switch {
  padding-top: 10px ;
  text-align: center ;
  font-size: 10pt ;
}



td {
  padding-top: 3px ;
  padding-bottom: 3px ;
  margin: 0 ;
  vertical-align: top ;
}

td.col_middle {
  padding-right: 10px ;
  padding-left: 5px ;
}

td.col_right {
  padding-left: 10px ;
  border-left: 1px dotted Gray ;
}


.hw {
  font-size: 18pt ;
  color: MidnightBlue ;
  font-weight: light ;
}

.block_head {
  text-transform: uppercase ;
  font-family: Helvetica ;
  font-weight: bold ;
  font-size: 10pt ;
}

.xref {
  font-family: Lucida ;
  text-transform: uppercase ;
  color: MidnightBlue ;
}

.ps {
  font-weight: bold ;
  font-style: italic ;
  font-size: 13pt ;
}

.sc {
  font-size: 10pt ;
}

.ex {
  font-style: italic ;
  color: MidnightBlue ;
}

.exb {
  font-weight: bold ;
}

.label {
  font-family: Helvetica ;
  color: purple ;
}

a:link, a:visited {
  text-decoration: none ;
  color: inherit ;
}

a:hover {
  text-decoration: underline ;
  color: inherit ;
}