liftr.css 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329
  1. body {
  2. background-color: #fff;
  3. margin: 1em auto;
  4. max-width: 800px;
  5. overflow: visible;
  6. padding-left: 2em;
  7. padding-right: 2em;
  8. font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif;
  9. font-size: 16px;
  10. line-height: 24px;
  11. color: #333;
  12. }
  13. h1.title {
  14. text-align: center;
  15. font-weight: 600;
  16. }
  17. h4.author {
  18. text-align: center;
  19. }
  20. h4.date {
  21. text-align: center;
  22. }
  23. #TOC {
  24. clear: both;
  25. margin: 0 0 10px 0px;
  26. padding: 15px;
  27. width: 770px;
  28. border: 1px solid #CCCCCC;
  29. border-radius: 5px;
  30. background-color: #f6f6f6;
  31. font-size: 16px;
  32. line-height: 1.5;
  33. }
  34. #TOC .toctitle {
  35. font-weight: bold;
  36. font-size: 16px;
  37. margin-left: 5px;
  38. }
  39. #TOC ul {
  40. padding-left: 50px;
  41. margin-left: -1.5em;
  42. margin-top: 5px;
  43. margin-bottom: 5px;
  44. }
  45. #TOC ul ul {
  46. margin-left: -2em;
  47. }
  48. #TOC li {
  49. line-height: 20px;
  50. }
  51. table {
  52. margin: 1em auto;
  53. border-width: 1px;
  54. border-color: #DDDDDD;
  55. border-style: outset;
  56. border-collapse: collapse;
  57. }
  58. table th {
  59. border-width: 2px;
  60. padding: 5px;
  61. border-style: inset;
  62. }
  63. table td {
  64. border-width: 1px;
  65. border-style: inset;
  66. line-height: 18px;
  67. padding: 5px 5px;
  68. }
  69. table,
  70. table th,
  71. table td {
  72. border-left-style: none;
  73. border-right-style: none;
  74. }
  75. table thead,
  76. table tr.even {
  77. background-color: #f7f7f7;
  78. }
  79. p {
  80. margin: 0.5em 0;
  81. }
  82. blockquote {
  83. background-color: #f6f6f6;
  84. padding: 0.25em 0.75em;
  85. }
  86. hr {
  87. border-style: solid;
  88. border: none;
  89. border-top: 1px solid #777;
  90. margin: 28px 0;
  91. }
  92. dl {
  93. margin-left: 0;
  94. }
  95. dl dd {
  96. margin-bottom: 13px;
  97. margin-left: 13px;
  98. }
  99. dl dt {
  100. font-weight: bold;
  101. }
  102. ul {
  103. margin-top: 0;
  104. }
  105. ul li {
  106. list-style: circle outside;
  107. }
  108. ul ul {
  109. margin-bottom: 0;
  110. }
  111. pre,
  112. code {
  113. background-color: #f7f7f7;
  114. border-radius: 5px;
  115. color: #333;
  116. white-space: pre-wrap;
  117. /* Wrap long lines */
  118. }
  119. pre {
  120. border-radius: 5px;
  121. margin: 5px 0px 10px 0px;
  122. padding: 10px;
  123. }
  124. pre:not([class]) {
  125. background-color: #f7f7f7;
  126. }
  127. code {
  128. font-family: Menlo, Monaco, "Lucida Console", Consolas, "Courier New", monospace;
  129. font-size: 85%;
  130. }
  131. p>code,
  132. li>code {
  133. padding: 2px 0px;
  134. }
  135. div.figure {
  136. text-align: center;
  137. }
  138. img {
  139. background-color: #FFFFFF;
  140. padding: 2px;
  141. border: 1px solid #DDDDDD;
  142. border-radius: 3px;
  143. border: 1px solid #CCCCCC;
  144. margin: 0 5px;
  145. }
  146. h1 {
  147. margin-top: 25px;
  148. font-size: 35px;
  149. line-height: 40px;
  150. font-weight: 600;
  151. }
  152. h2 {
  153. border-bottom: 2px solid #f7f7f7;
  154. padding-top: 10px;
  155. padding-bottom: 2px;
  156. font-size: 145%;
  157. }
  158. h3 {
  159. border-bottom: 1px solid #f7f7f7;
  160. padding-top: 10px;
  161. font-size: 120%;
  162. }
  163. h4 {
  164. margin-left: 8px;
  165. font-size: 110%;
  166. font-weight: normal;
  167. }
  168. em {
  169. font-style: oblique;
  170. }
  171. emph {
  172. font-style: oblique;
  173. }
  174. h5,
  175. h6 {
  176. border-bottom: 1px solid #ccc;
  177. font-size: 105%;
  178. }
  179. a {
  180. color: #123d79;
  181. text-decoration: none;
  182. }
  183. a:hover {
  184. color: #007CC3;
  185. }
  186. a:visited {
  187. color: #581858;
  188. }
  189. a:visited:hover {
  190. color: #007CC3;
  191. }
  192. /* code highlight theme: highlight.js - tomorrow
  193. http://jmblog.github.io/color-themes-for-highlightjs/tomorrow/
  194. */
  195. code>span.kw {
  196. color: #4271ae;
  197. }
  198. /* Keyword */
  199. code>span.dt {
  200. color: #c82829;
  201. }
  202. /* DataType */
  203. code>span.dv {
  204. color: #f5871f;
  205. }
  206. /* DecVal (decimal values) */
  207. code>span.bn {
  208. color: #718c00;
  209. }
  210. /* BaseN */
  211. code>span.fl {
  212. color: #718c00;
  213. }
  214. /* Float */
  215. code>span.ch {
  216. color: #718c00;
  217. }
  218. /* Char */
  219. code>span.st {
  220. color: #718c00;
  221. }
  222. /* String */
  223. code>span.co {
  224. color: #8e908c;
  225. }
  226. /* Comment */
  227. code>span.ot {
  228. color: #4d4d4c;
  229. }
  230. /* OtherToken */
  231. code>span.al {
  232. color: #ff0000;
  233. }
  234. /* AlertToken */
  235. code>span.fu {
  236. color: #4271ae;
  237. }
  238. /* Function calls */
  239. code>span.er {
  240. color: #a61717;
  241. }
  242. /* ErrorTok */
  243. /* centering images */
  244. img {
  245. display: block;
  246. margin: 0 auto;
  247. }