/* CSS style-sheet for use with home page. */ /* $Id: lav.css,v 1.7 2008-08-10 11:51:11+00 lav Exp $ */ /* */ body { background-color: white; color: black; margin-left: 32px; margin-right: 32px; margin-top: 0px; margin-bottom: 0px; padding-top: 24px; padding-bottom: 32px; font-size: 16px; line-height: 21px; font-family: constantia, georgia, serif } /* Headings. */ h1 { font-size: 24px; line-height: 30px; color: gray } h2 { font-size: 24px; line-height: 30px; color: gray } h3 { font-size: 20px; line-height: 24px; color: gray } h4 { font-size: 16px; line-height: 21px; color: gray } h5 { font-size: 16px; line-height: 21px; color: gray } h6 { font-size: 16px; line-height: 21px; color: gray } h7 { font-size: 16px; line-height: 21px; color: gray } /* Paragraph content. */ code { font-family: consolas, monospace } /* Don't italicize addresses. */ address { font-style: normal } /* Some special stuff for Japanese pages. */ td.six { padding-left: 1.5em } /* End of file. */