xrcu.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142
  1. body {
  2. color: black;
  3. background: white;
  4. font-family: Verdana, Arial, sans-serif;
  5. margin: 1ex;
  6. padding: 1ex;
  7. max-width: 120ex;
  8. text-align: justify;
  9. }
  10. img { border: 0; }
  11. form { margin: 0; }
  12. input { margin: 2px; }
  13. a { color: #006699; }
  14. a:visited { color: #004477; }
  15. td {
  16. margin: 0;
  17. padding: 0;
  18. }
  19. div { border-width: 0; }
  20. dt {
  21. margin-top: 0.5ex;
  22. margin-left: 2ex;
  23. margin-bottom: 0.4ex;
  24. padding-bottom: 0;
  25. font-weight: bold;
  26. }
  27. dd {
  28. margin-left: 4ex;
  29. padding-left: 1em;
  30. margin-right: 2ex;
  31. padding-right: 1ex;
  32. margin-top: 0.4ex;
  33. padding-top: 0.5ex;
  34. margin-bottom: 1em;
  35. padding-bottom: 0.3ex;
  36. border-left: 1px solid #ccccee;
  37. border-bottom: 1px solid #ccccee;
  38. border-collapse: collapse;
  39. }
  40. dd > p {
  41. margin-left: 0;
  42. padding-left: 0;
  43. margin-top: 0;
  44. padding-top: 0;
  45. margin-bottom: 1ex;
  46. padding-bottom: 0;
  47. }
  48. code {
  49. color: #006600;
  50. font-family: Andale Mono, monospace;
  51. }
  52. pre {
  53. background: #eeeeff;
  54. border: 1px solid #ddddff;
  55. box-shadow: 0 3px 6px rgba(0,0,0,0.2), inset 0 -2px 2px rgba(0,0,0,0.2);
  56. border-radius: 10px;
  57. color: black;
  58. padding-left: 0ex;
  59. padding-top: 1em;
  60. padding-bottom: 0;
  61. white-space: pre;
  62. font-family: Andale Mono, monospace;
  63. width: 120ex;
  64. margin-left: 1em;
  65. width: 98%;
  66. }
  67. #TOP {
  68. margin-left: 3em;
  69. color: #006699;
  70. margin-top: 2ex;
  71. font-size: 80%;
  72. font-weight: bold;
  73. border: 0;
  74. padding-bottom: 0;
  75. }
  76. div.pod > ul {
  77. font-size: 80%;
  78. margin-left: 3em;
  79. }
  80. div.pod > hr { display: none; }
  81. div.pod > ul > li {
  82. font-size: 100%;
  83. font-weight: bold;
  84. }
  85. div.pod > ul > li > ul > li {
  86. font-size: 100%;
  87. font-weight: normal;
  88. }
  89. div.pod > ul > li > ul > li > ul > li {
  90. font-size: 80%;
  91. font-weight: normal;
  92. }
  93. h1 {
  94. color: #006699;
  95. margin-top: 2ex;
  96. font-size: 180%;
  97. font-weight: bold;
  98. border-bottom: 2px solid #ff0000;
  99. padding-bottom: 0;
  100. }
  101. h2 {
  102. color: #006699;
  103. font-size: 120%;
  104. margin-top: 1ex;
  105. border-bottom: 2px solid #ff0000;
  106. padding-bottom: 0;
  107. }
  108. h3 {
  109. color: #003344;
  110. font-size: 100%;
  111. margin-top: 1ex;
  112. border-bottom: 1px solid #ff0000;
  113. padding-bottom: 0;
  114. }
  115. h4 {
  116. color: #003344;
  117. font-size: 100%;
  118. margin-top: 1ex;
  119. padding-bottom: 0;
  120. }
  121. img { vertical-align: top; }
  122. li {
  123. line-height: 1.2em;
  124. list-style-type: none;
  125. }
  126. table {
  127. margin-left: 3em;
  128. margin-top: 1ex;
  129. margin-bottom: 1ex;
  130. border-spacing: 0px;
  131. border-width: 2px;
  132. border-collapse: collapse;
  133. border-color: #88e;
  134. border-style: solid;
  135. }
  136. td {
  137. padding: 2px 1ex 2px 1ex;
  138. border-width: 2px;
  139. border-color: #88e;
  140. border-style: solid;
  141. }