/*  Style Sheet  */

/* link */

a:link { color: #0000ff}
a:visited { color: #990099}
a:hover { color: #ff0000}
a:active { color: #ff0000}

a.section {font-size: 12pt}
a.section:link { color: #000000}
a.section:visited { color: #000000}
a.section:hover { color: #666600}
a.section:active { color: #666600}

a.subsection {font-size: 10pt}
a.subsection:link { color: #000000}
a.subsection:visited { color: #000000}
a.subsection:hover { color: #9999cc}
a.subsection:active { color: #9999cc}

a.term {font-size: 12pt}
a.term:link { color: #003333}
a.term:visited { color: #003333}
a.term:hover { color: #009966}
a.term:active { color: #009966}

a.longterm {font-size: 10pt}
a.longterm:link { text-decoration: none}
a.longterm:visited { text-decoration: none}
a.longterm:hover { background: #ffeeaa}
a.longterm:active {text-decoration: none}

/* common definition */

.smaller { font-size: 10pt }
.larger  { font-size: 14pt }

body {
  margin: 0;
  color: #000000;
  background: #ffffff;
  font-size: 12pt;
}

table {font-size: 12pt}
ul { font-size: 12pt}

td.bug {
 background : #ff3300;
 color      : black;
}
td.caution {
 background : yellow;
 color      : black;
}
td.ok {
 align      : center;
 background : #0099cc;
 color      : white;
}

H1 { color : #000000 ; font-size : 19.2pt ; font-style : bold}
H2 { color : #000000 ; font-size : 18pt ; font-style : bold}
H3 { color : #000000 ; font-size : 16.8pt}
H4 { color : #000000 ; font-size : 14.4pt}
H5 { color : #000000 ; font-size : 12pt}
H6 { color : #000000 ; font-size : 10pt}

/* special definition */

#border_violet {
  margin-left: 20px;
  margin-right: 20%;
  border: solid;
  border-width: 2px;
  border-left-width: 7px;
  border-right-width: 0;
  border-bottom-width: 0;
  border-color: #663399;
  color: #663399;
  font-size: 14.4pt;
}

#border_blue {
  margin-left: 20px;
  margin-right: 20%;
  border: solid;
  border-width: 2px;
  border-left-width: 7px;
  border-right-width: 0;
  border-bottom-width: 0;
  border-color: #0077aa;
  color: #0077aa;
  font-size: 14.4pt;
}

#border_green {
  margin-left: 20px;
  margin-right: 20%;
  border: solid;
  border-width: 2px;
  border-left-width: 7px;
  border-right-width: 0;
  border-bottom-width: 0;
  border-color: #009966;
  color: #006600;
  font-size: 14.4pt;
}

#confidential {
  border: solid;
  border-width: 2px;
  border-color: #ffff00;
  background: #ffffcc;
}

#comment {
  border: solid;
  border-width: 2px;
  border-color: #00ffff;
  background: #eeffff;
}