default.css 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270
  1. /* this file is processed with xxd via a build rule and embedded in library */
  2. /* these styles come from Safari */
  3. /* note that comments are only permitted before selectors and before the styles */
  4. /* DO NOT fiddle with this file if you want to have your own styles,
  5. pass your own stylesheet via the option parameter to override these defaults */
  6. html
  7. {
  8. /* bla */
  9. display:block;
  10. }
  11. head
  12. {
  13. display:none;
  14. }
  15. title
  16. {
  17. display:none;
  18. }
  19. style
  20. {
  21. display:none;
  22. }
  23. body
  24. {
  25. /* safari has a 8 px margin here */
  26. display:block;
  27. }
  28. article,aside,footer,header,hgroup,nav,section
  29. {
  30. display:block;
  31. }
  32. p
  33. {
  34. display:block;
  35. -webkit-margin-before:1em;
  36. -webkit-margin-after:1em;
  37. -webkit-margin-start:0;
  38. -webkit-margin-end:0;
  39. }
  40. ul,menu,dir
  41. {
  42. display:block;
  43. list-style-type:disc;
  44. -webkit-margin-before:1em;
  45. -webkit-margin-after:1em;
  46. -webkit-margin-start:0;
  47. -webkit-margin-end:0;
  48. -webkit-padding-start:27px;
  49. }
  50. li
  51. {
  52. display:list-item;
  53. }
  54. ol
  55. {
  56. display:block;
  57. list-style-type:decimal;
  58. -webkit-margin-before:1em;
  59. -webkit-margin-after:1em;
  60. -webkit-margin-start:0;
  61. -webkit-margin-end:0;
  62. -webkit-padding-start:27px;
  63. }
  64. ul ul, ol ul
  65. {
  66. list-style-type: circle;
  67. }
  68. ol ol ul, ol ul ul, ul ol ul, ul ul ul
  69. {
  70. list-style-type: square;
  71. }
  72. code
  73. {
  74. font-family:Courier;
  75. }
  76. pre, xmp, plaintext, listing
  77. {
  78. display: block;
  79. font-family: monospace;
  80. white-space: pre;
  81. margin: 1em 0px;
  82. }
  83. /* color:-webkit-link */
  84. a
  85. {
  86. color:#0000EE;
  87. text-decoration:underline;
  88. }
  89. a:active {color:#FF0000;} /* link while finger down */
  90. center
  91. {
  92. text-align:center;
  93. display:block;
  94. }
  95. strong,b
  96. {
  97. font-weight:bolder;
  98. }
  99. i,em
  100. {
  101. font-style:italic;
  102. }
  103. u
  104. {
  105. text-decoration:underline;
  106. }
  107. big
  108. {
  109. font-size:bigger;
  110. }
  111. small
  112. {
  113. font-size:smaller;
  114. }
  115. sub
  116. {
  117. font-size:smaller;
  118. vertical-align:sub;
  119. }
  120. sup
  121. {
  122. font-size:smaller;
  123. vertical-align:super;
  124. }
  125. s,strike,del
  126. {
  127. text-decoration:line-through;
  128. }
  129. tt,code,kbd,samp
  130. {
  131. font-family:monospace;
  132. }
  133. pre,xmp,plaintext,listing
  134. {
  135. display:block;
  136. font-family:monospace;
  137. white-space:pre;
  138. margin-top:1em;
  139. margin-right:0;
  140. margin-bottom:1em;
  141. margin-left:0;
  142. }
  143. h1
  144. {
  145. display:block;
  146. font-size:2em;
  147. -webkit-margin-before:.67em;
  148. -webkit-margin-after:.67em;
  149. -webkit-margin-start:0;
  150. -webkit-margin-end:0;
  151. font-weight:bold;
  152. }
  153. h2
  154. {
  155. display:block;
  156. font-size:1.5em;
  157. -webkit-margin-before:.83em;
  158. -webkit-margin-after:.83em;
  159. -webkit-margin-start:0;
  160. -webkit-margin-end:0;
  161. font-weight:bold;
  162. }
  163. h3
  164. {
  165. display:block;
  166. font-size:1.17em;
  167. -webkit-margin-before:1em;
  168. -webkit-margin-after:1em;
  169. -webkit-margin-start:0;
  170. -webkit-margin-end:0;
  171. font-weight:bold;
  172. }
  173. h4
  174. {
  175. display:block;
  176. -webkit-margin-before:1.33em;
  177. -webkit-margin-after:1.33em;
  178. -webkit-margin-start:0;
  179. -webkit-margin-end:0;
  180. font-weight:bold;
  181. }
  182. h5
  183. {
  184. display:block;
  185. font-size:.83em;
  186. -webkit-margin-before:1.67em;
  187. -webkit-margin-after:1.67em;
  188. -webkit-margin-start:0;
  189. -webkit-margin-end:0;
  190. font-weight:bold;
  191. }
  192. h6
  193. {
  194. display:block;
  195. font-size:.67em;
  196. -webkit-margin-before:2.33em;
  197. -webkit-margin-after:2.33em;
  198. -webkit-margin-start:0;
  199. -webkit-margin-end:0;
  200. font-weight:bold;
  201. }
  202. div {
  203. display: block;
  204. }
  205. link {
  206. display: none;
  207. }
  208. meta {
  209. display: none;
  210. }
  211. script {
  212. display: none;
  213. }
  214. hr {
  215. display: block;
  216. -webkit-margin-before: 0.5em;
  217. -webkit-margin-after: 0.5em;
  218. -webkit-margin-start: auto;
  219. -webkit-margin-end: auto;
  220. border-style: inset;
  221. border-width: 1px;
  222. }
  223. table {
  224. display: table;
  225. border-collapse: separate;
  226. border-spacing: 2px;
  227. border-color: gray;
  228. }