style.css 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. body {
  2. background-color: white;
  3. border: 0px;
  4. margin: 0px;
  5. padding: 0px;
  6. }
  7. .corner {
  8. width: 200px;
  9. height: 80px;
  10. text-align: center;
  11. }
  12. .banner {
  13. background-color: rgb(110,139,61);
  14. color: rgb(255,236,176);
  15. padding-left: 2em;
  16. }
  17. .banner h1 {
  18. font-size: 200%;
  19. }
  20. .content {
  21. padding: 0em 2em 1em 2em;
  22. }
  23. .releaseno {
  24. background-color: rgb(110,139,61);
  25. color: rgb(255,236,176);
  26. padding-bottom: 0.3em;
  27. padding-top: 0.5em;
  28. text-align: center;
  29. font-weight: bold;
  30. }
  31. .noborder {
  32. border-width: 0px;
  33. }
  34. .eg {
  35. padding-left: 1em;
  36. padding-top: .5em;
  37. padding-bottom: .5em;
  38. border: solid thin;
  39. margin: 1em 0;
  40. background-color: tan;
  41. margin-left: 2em;
  42. margin-right: 10%;
  43. }
  44. .pseudocode {
  45. padding-left: 1em;
  46. padding-top: .5em;
  47. padding-bottom: .5em;
  48. border: solid thin;
  49. margin: 1em 0;
  50. background-color: rgb(250,220,180);
  51. margin-left: 2em;
  52. margin-right: 10%;
  53. }
  54. .handler {
  55. width: 100%;
  56. border-top-width: thin;
  57. margin-bottom: 1em;
  58. }
  59. .handler p {
  60. margin-left: 2em;
  61. }
  62. .setter {
  63. font-weight: bold;
  64. }
  65. .signature {
  66. color: navy;
  67. }
  68. .fcndec {
  69. width: 100%;
  70. border-top-width: thin;
  71. font-weight: bold;
  72. }
  73. .fcndef {
  74. margin-left: 2em;
  75. margin-bottom: 2em;
  76. }
  77. dd {
  78. margin-bottom: 2em;
  79. }
  80. .cpp-symbols dt {
  81. font-family: monospace;
  82. }
  83. .cpp-symbols dd {
  84. margin-bottom: 1em;
  85. }