BODY {
  margin: 5pt 5%; 
  font-family: Verdana, Arial, sans-serif;
  font-size: 10pt; 
  line-height: normal;
  background: navy;
  color: black; } 

H1, H2, H3, H4, H5, H6, P, UL, OL, DIR, MENU, DIV,
DT, DD, ADDRESS, BLOCKQUOTE, PRE, BR, HR, FORM, DL {
  display: block } 

B, STRONG, I, EM, CITE, VAR, TT, CODE, KBD, SAMP,
IMG, SPAN { display: inline } 

LI { display: list-item } 

P, UL { font-family: Verdana, Arial, sans-serif;
  font-size: 10pt; 
  line-height: normal; } 

DIV.main { 
  background: #ffeeee; 
  border: thick groove black; 
  margin: 10pt; 
  padding: 10pt 20pt; } 

DIV.droit { width: 60%; border: medium ridge navy; 
  padding: 5pt; float: right; } 
/* margin: 5pt; messes up N4.7 incredibly */

SPAN.solution { font-weight: bold; color: navy; } 

H1, H2, H3, H4, H5, H6 { line-height: normal; 
  padding: 1pt; margin: 0.3em; } 
H1, H2 { font-family: serif; } 
H3, H4, H5, H6 { font-family: Verdana, Arial, sans-serif; } 
H1, H2, H3 { text-align: center; } 
H4, H5, H6 { text-align: left; } 
H1, H3, H5 { font-weight: bold; color: navy; } 
H2, H4, H6 { font-weight: normal; } 
H1, H2, H3, H5 { font-style: normal; } 
H4, H6 { font-style: italic; } 

H1 { font-size: 20pt; } 
H2 { font-size: 16pt; } 
H3 { font-size: 14pt; } 
H4 { font-size: 14pt; } 
H5 { font-size: 12pt; } 
H6 { font-size: 12pt; } 

B, STRONG { font-weight: bolder }  /* relative to the parent */
I, CITE, EM, VAR, ADDRESS, BLOCKQUOTE { font-style: italic }
PRE, TT, CODE, KBD, SAMP { font-family: monospace } 

PRE { white-space: pre } 

ADDRESS { margin-left: 3em }
BLOCKQUOTE { margin-left: 3em; margin-right: 3em } 

UL, DIR { list-style: disc; } 
OL { list-style: decimal }
MENU { margin: 0 }              /* tight formatting */
LI { margin-left: 3em } 

DT { margin-bottom: 0 }
DD { margin-top: 0; margin-left: 3em } 

HR { border-top: solid; clear: both; } 
  /* 'border-bottom' could also have been used */ 
HR.major { border-top-width: 5pt; height: 5pt; color: navy; 
  background: navy; } 
HR.minor { border-top-width: 2pt; height: 2pt; color: fuchsia; 
  background: fuchsia; } 

P.head3 { 
  font-family: serif; 
  font-size: 12pt; 
  line-height: normal; 
  font-weight: bold; 
  font-style: normal; 
  text-align: center; 
  color: gray; 
  margin: 0; 
  padding: 5pt 0; } 
P.update { text-align: right; font-size: 8pt; } 
P.initial:first-letter { font-size: 18pt; float: left; 
  font-family: eraserdust, "Juice ITC", kidprint, serif; color: navy; 
  margin: 0; padding: 0; padding-right: 1pt; } 
P.upper { text-align: center; font-size: 6pt; } 

A { text-decoration: none; } 
A:link { color: blue; background: aqua; }          /* unvisited link */
A:visited { color: maroon; background: aqua; }        /* visited links */
A:active { color: aqua; background: blue; }        /* active links */ 
A:hover { color: aqua; background: red; }