body { font-size: 90% }
table { font-size: 90% }
table.setting {	margin-left: 0.5em }
td.head1 { background-color: #ffffc0;
           text-align: center}
td.body1 {background-color: #fffff0}
.manual_title { font-size: 160% }
.manual_comment { font-size:80%  }
.manual_caption { font-size: 105%;
                  font-weight: bold;
                  color: #000060;
                  line-height: 100%;
                  background-color: #eeeeff;
                  margin-bottom: -0.5em;
                  padding-left: 0.1em;
                  padding-right: 0.1em;
                  padding-top: 0.3em;
                  padding-bottom: 0.3em }
.manual_notice { color: #CC0000 }
.manual_circle { font-size: 60% }
.manual_example { color: #006000;
                  margin-left: 0.5em }
.manual_index { font-size: 105% }
.manual_notice_blue { color: #0066FF }