1 body { 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 92 dd { 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