document-1.0.1.css 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228
  1. /*
  2. My custom CSS style for Texinfo documents
  3. Public domain 2016 sirgazil. All rights waived.
  4. ~@~
  5. Modified for Qi.
  6. Original: http://bitbucket.org/sirgazil/texinfo-css
  7. */
  8. /* NATIVE ELEMENTS */
  9. a:link,
  10. a:visited {
  11. color: #008000;
  12. text-decoration: none;
  13. }
  14. a:active,
  15. a:focus,
  16. a:hover {
  17. text-decoration: underline;
  18. }
  19. abbr,
  20. acronym {
  21. cursor: help;
  22. }
  23. blockquote {
  24. color: #555753;
  25. font-style: oblique;
  26. margin: 30px 0px;
  27. padding-left: 1.5em;
  28. }
  29. body {
  30. background-color: white;
  31. box-shadow: 0 0 2px gray;
  32. box-sizing: border-box;
  33. color: #4E4E4E;
  34. line-height: 1.1;
  35. text-align: justify;
  36. font-family: "Verdana", Arial, sans-serif;
  37. font-size: 1.12em;
  38. margin: 50px auto;
  39. max-width: 980px;
  40. padding: 50px;
  41. }
  42. code {
  43. color: black;
  44. font-size: 1.2em;
  45. }
  46. samp,
  47. tt,
  48. var {
  49. color: purple;
  50. font-size: 1em;
  51. }
  52. div.example,
  53. div.lisp {
  54. margin: 0px;
  55. }
  56. dl {
  57. margin: 2em 0em;
  58. }
  59. dl dl {
  60. margin: 0em;
  61. }
  62. dt {
  63. padding: 0.3em;
  64. }
  65. h1,
  66. h2,
  67. h2.contents-heading,
  68. h3,
  69. h4 {
  70. padding: 20px 0px 0px 0px;
  71. font-weight: normal;
  72. }
  73. h1 {
  74. font-size: 2.3em;
  75. }
  76. h2 {
  77. font-size: 2.2em;
  78. font-weight: bold;
  79. }
  80. h3 {
  81. font-size: 2em;
  82. }
  83. h4 {
  84. font-size: 1.7em;
  85. }
  86. hr {
  87. background-color: silver;
  88. border-style: none;
  89. height: 2px;
  90. margin: 0px;
  91. }
  92. html {
  93. background-color: #F5F5F5;
  94. }
  95. img {
  96. max-width: 100%;
  97. }
  98. li {
  99. padding: 5px;
  100. }
  101. pre {
  102. display: block;
  103. unicode-bidi: embed;
  104. font-family: monospace;
  105. white-space: pre;
  106. }
  107. pre.example,
  108. pre.lisp,
  109. pre.verbatim {
  110. background-color: #f5f5dc; // beige
  111. border-color: #000;
  112. border-style: solid;
  113. border-width: thin;
  114. color: #000000;
  115. font-size: large;
  116. padding: 1em;
  117. overflow: auto;
  118. }
  119. table {
  120. border-collapse: collapse;
  121. margin: 40px 0px;
  122. }
  123. table.index-cp *,
  124. table.index-fn *,
  125. table.index-ky *,
  126. table.index-pg *,
  127. table.index-tp *,
  128. table.index-vr * {
  129. background-color: inherit;
  130. border-style: none;
  131. }
  132. td,
  133. th {
  134. border-color: silver;
  135. border-style: solid;
  136. border-width: thin;
  137. padding: 10px;
  138. }
  139. th {
  140. background-color: #F5F5F5;
  141. }
  142. /* END NATIVE ELEMENTS */
  143. /* CLASSES */
  144. .contents {
  145. margin-bottom: 3em;
  146. }
  147. .float {
  148. margin: 3em 0em;
  149. }
  150. .float-caption {
  151. font-size: smaller;
  152. text-align: center;
  153. }
  154. .float > img {
  155. display: block;
  156. margin: auto;
  157. }
  158. .footnote {
  159. font-size: medium;
  160. margin: 1em 0em;
  161. }
  162. .footnote h3 {
  163. display: inline;
  164. font-size: small;
  165. }
  166. .header {
  167. background-color: #F2F2F2;
  168. font-size: small;
  169. padding: 0.2em 1em;
  170. }
  171. .key {
  172. color: purple;
  173. font-size: 0.8em;
  174. }
  175. .menu * {
  176. border-style: none;
  177. }
  178. .menu td {
  179. padding: 0.5em 0em;
  180. }
  181. .menu td:last-child {
  182. width: 60%;
  183. }
  184. .menu th {
  185. background-color: inherit;
  186. }
  187. /* END CLASSES */