1body { 2 background-color: white; 3 border: 0px; 4 margin: 0px; 5 padding: 0px; 6} 7 8.corner { 9 width: 200px; 10 height: 80px; 11 text-align: center; 12} 13 14.banner { 15 background-color: rgb(110,139,61); 16 color: rgb(255,236,176); 17 padding-left: 2em; 18} 19 20.banner h1 { 21 font-size: 200%; 22} 23 24.content { 25 padding: 0em 2em 1em 2em; 26} 27 28.releaseno { 29 background-color: rgb(110,139,61); 30 color: rgb(255,236,176); 31 padding-bottom: 0.3em; 32 padding-top: 0.5em; 33 text-align: center; 34 font-weight: bold; 35} 36 37.noborder { 38 border-width: 0px; 39} 40 41.eg { 42 padding-left: 1em; 43 padding-top: .5em; 44 padding-bottom: .5em; 45 border: solid thin; 46 margin: 1em 0; 47 background-color: tan; 48 margin-left: 2em; 49 margin-right: 10%; 50} 51 52.pseudocode { 53 padding-left: 1em; 54 padding-top: .5em; 55 padding-bottom: .5em; 56 border: solid thin; 57 margin: 1em 0; 58 background-color: rgb(250,220,180); 59 margin-left: 2em; 60 margin-right: 10%; 61} 62 63.handler { 64 width: 100%; 65 border-top-width: thin; 66 margin-bottom: 1em; 67} 68 69.handler p { 70 margin-left: 2em; 71} 72 73.setter { 74 font-weight: bold; 75} 76 77.signature { 78 color: navy; 79} 80 81.fcndec { 82 width: 100%; 83 border-top-width: thin; 84 font-weight: bold; 85} 86 87.fcndef { 88 margin-left: 2em; 89 margin-bottom: 2em; 90} 91 92dd { 93 margin-bottom: 2em; 94} 95 96.cpp-symbols dt { 97 font-family: monospace; 98} 99.cpp-symbols dd { 100 margin-bottom: 1em; 101} 102