1*c19800e8SDoug Rabsonbody { 2*c19800e8SDoug Rabson color: black; 3*c19800e8SDoug Rabson background-color: #fdfdfd; 4*c19800e8SDoug Rabson font-family: serif; 5*c19800e8SDoug Rabson max-width: 40em; 6*c19800e8SDoug Rabson} 7*c19800e8SDoug Rabsonh1, h2, h3 { 8*c19800e8SDoug Rabson font-family: sans-serif; 9*c19800e8SDoug Rabson font-weight: bold; 10*c19800e8SDoug Rabson} 11*c19800e8SDoug Rabsonh1 { 12*c19800e8SDoug Rabson padding: 0.5em 0 0.5em 5%; 13*c19800e8SDoug Rabson color: white; 14*c19800e8SDoug Rabson background: #3366cc; 15*c19800e8SDoug Rabson border-bottom: solid 1px black; 16*c19800e8SDoug Rabson} 17*c19800e8SDoug Rabsonh1 { 18*c19800e8SDoug Rabson font-size: 200%; 19*c19800e8SDoug Rabson} 20*c19800e8SDoug Rabsonh2 { 21*c19800e8SDoug Rabson font-size: 150%; 22*c19800e8SDoug Rabson} 23*c19800e8SDoug Rabsonh3 { 24*c19800e8SDoug Rabson font-size: 120%; 25*c19800e8SDoug Rabson} 26*c19800e8SDoug Rabsonh4 { 27*c19800e8SDoug Rabson font-weight: bold; 28*c19800e8SDoug Rabson} 29*c19800e8SDoug Rabsonpre.example { 30*c19800e8SDoug Rabson margin-left: 2em; 31*c19800e8SDoug Rabson padding: 1em 0em; 32*c19800e8SDoug Rabson border: 2px dashed #c0c0c0; 33*c19800e8SDoug Rabson background: #f0f0f0; 34*c19800e8SDoug Rabson} 35*c19800e8SDoug Rabsona:link { 36*c19800e8SDoug Rabson color: blue; 37*c19800e8SDoug Rabson text-decoration: none; 38*c19800e8SDoug Rabson} 39*c19800e8SDoug Rabsona:visited { 40*c19800e8SDoug Rabson color: red; 41*c19800e8SDoug Rabson text-decoration: none 42*c19800e8SDoug Rabson} 43*c19800e8SDoug Rabsona:hover { 44*c19800e8SDoug Rabson text-decoration: underline 45*c19800e8SDoug Rabson} 46*c19800e8SDoug Rabsonspan.literal { 47*c19800e8SDoug Rabson font-family: monospace; 48*c19800e8SDoug Rabson} 49*c19800e8SDoug Rabsonhr { 50*c19800e8SDoug Rabson border-style: none; 51*c19800e8SDoug Rabson background-color: black; 52*c19800e8SDoug Rabson height: 1px; 53*c19800e8SDoug Rabson} 54