body { background-color: white; border: 0px; margin: 0px; padding: 0px; } .corner { width: 200px; height: 80px; text-align: center; } .banner { background-color: rgb(110,139,61); color: rgb(255,236,176); padding-left: 2em; } .banner h1 { font-size: 200%; } .content { padding: 0em 2em 1em 2em; } .releaseno { background-color: rgb(110,139,61); color: rgb(255,236,176); padding-bottom: 0.3em; padding-top: 0.5em; text-align: center; font-weight: bold; } .noborder { border-width: 0px; } .eg { padding-left: 1em; padding-top: .5em; padding-bottom: .5em; border: solid thin; margin: 1em 0; background-color: tan; margin-left: 2em; margin-right: 10%; } .handler { width: 100%; border-top-width: thin; margin-bottom: 1em; } .handler p { margin-left: 2em; } .setter { font-weight: bold; } .signature { color: navy; } .fcndec { width: 100%; border-top-width: thin; font-weight: bold; } .fcndef { margin-left: 2em; margin-bottom: 2em; } dd { margin-bottom: 2em; } .cpp-symbols dt { font-family: monospace; } .cpp-symbols dd { margin-bottom: 1em; }