10SN/Abody { 26073SN/A background-color: white; 30SN/A border: 0px; 40SN/A margin: 0px; 50SN/A padding: 0px; 60SN/A} 72362SN/A 80SN/A.corner { 92362SN/A width: 200px; 100SN/A height: 80px; 110SN/A text-align: center; 120SN/A} 130SN/A 140SN/A.banner { 150SN/A background-color: rgb(110,139,61); 160SN/A color: rgb(255,236,176); 170SN/A padding-left: 2em; 180SN/A} 190SN/A 200SN/A.banner h1 { 212362SN/A font-size: 200%; 222362SN/A} 232362SN/A 240SN/A.content { 2532SN/A padding: 0em 2em 1em 2em; 260SN/A} 270SN/A 280SN/A.releaseno { 290SN/A background-color: rgb(110,139,61); 300SN/A color: rgb(255,236,176); 310SN/A padding-bottom: 0.3em; 320SN/A padding-top: 0.5em; 330SN/A text-align: center; 340SN/A font-weight: bold; 350SN/A} 360SN/A 370SN/A.noborder { 380SN/A border-width: 0px; 390SN/A} 400SN/A 410SN/A.eg { 420SN/A padding-left: 1em; 430SN/A padding-top: .5em; 440SN/A padding-bottom: .5em; 450SN/A border: solid thin; 460SN/A margin: 1em 0; 470SN/A background-color: tan; 480SN/A margin-left: 2em; 490SN/A margin-right: 10%; 500SN/A} 510SN/A 520SN/A.pseudocode { 530SN/A padding-left: 1em; 540SN/A padding-top: .5em; 550SN/A padding-bottom: .5em; 560SN/A 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