| 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 | } |