body { 
  font-size:    12px;
  line-height:  150%;
  margin:       0px 0px 0px 20px;
}

td, th, div {
  font-size:    12px;
  line-height:  150%;
}

b {
  font-size:    14px;
  font-wight:   bold;
}

pre {
  font-size:    12px;
  padding:      10px;
  border:       solid 1px #000000;
}

.padding-left30 {
  padding-left: 30px;
}

.title1 {
  font-size:     16px;
  border-left:   solid 5px #000000;
  border-bottom: solid 1px #000000;
  padding-left:  5px;
}

.title2 {
  font-size:     12px;
  border-left:   solid 5px #666666;
  border-bottom: solid 1px #666666;
  padding-left:  5px;
}

.title3 {
  font-size:     12px;
  border-left:   solid 5px #999999;
  padding-left:  5px;
}

.title4 {
  font-size:     12px;
  border-left:   solid 1px #999999;
  border-bottom: dotted 1px #999999;
  padding-left:  5px;
}