123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102 |
- 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%;
- }
- .pseudocode {
- padding-left: 1em;
- padding-top: .5em;
- padding-bottom: .5em;
- border: solid thin;
- margin: 1em 0;
- background-color: rgb(250,220,180);
- 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;
- }
|