1 body { 2 background-color: white; 3 font-size: 12pt; 4 } 5 6 h1 { 7 color: navy; 8 font-family: sans-serif; 9 font-size: 20pt; 10 } 11 12 h2 { 13 color: navy; 14 font-family: sans-serif; 15 font-size: 18pt; 16 } 17 18 h3 { 19 color: navy; 20 font-family: sans-serif; 21 font-size: 16pt; 22 } 23 24 h4 { 25 color: navy; 26 font-family: sans-serif; 27 font-size: 15pt; 28 } 29 30 h5 { 31 color: navy; 32 font-family: sans-serif; 33 font-size: 14pt; 34 } 35 36 ul { 37 list-style-type: disc; 38 } 39 40 pre { 41 background-color: silver; 42 color: black; 43 } 44 45 p.prompt { 46 font-family: fixed; 47 background-color: silver; 48 color: black; 49 } 50 51 p.prompt:before { 52 content: "$ "; 53 } 54 55 p.result { 56 font-family: fixed; 57 background-color: white; 58 color: black; 59 margin-left: 1em; 60 }