/* Style Sheet for PEKI dictionary documentation. */

H1     {color: #004000}
H2, H3 {color: #004000} /* uppercase doesn't work in Java HTML viewer: text-transform: uppercase */
.bold  {color: #004000; font-weight: bold}
.key   {color: #000080; font-weight: bold; font-style: italic}
.label {color: #000080; font-weight: bold; font-size:  large}
.appl  {color: #000080; font-weight: bold}
.char  {font-size: large; font-weight: bold; text-align: center}


/* eof */