Advertisement
LumChron

Bandits At Work

Sep 24th, 2019
207
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 6.12 KB | None | 0 0
  1. body {
  2. margin: 0px 0px 20px 0px;
  3. padding: 30px 40px;
  4. background: #FFF;
  5. font-family: "Lucida Grande", Verdana, Geneva, Arial, sans-serif;
  6. font-size: small;
  7. }
  8.  
  9. /* grey underlined links that turn black as you are about to click */
  10.  
  11. a {
  12. color: #000000;
  13. background-color: inherit;
  14. text-decoration: none;
  15. }
  16. div.content a {
  17. text-decoration: underline;
  18. }
  19. a:link {
  20. color: ##0000FF;
  21. background-color: inherit;
  22. }
  23. a:visited {
  24. color: ##2E9AFE;
  25. background-color: inherit;
  26. }
  27. a:active {
  28. color: #0000FF;
  29. background-color: inherit;
  30. }
  31. a:hover {
  32. color: #0000FF;
  33. background-color: #D8D8D8;
  34. }
  35. a.near:link { color: #036; background-color: inherit; }
  36. a.near:visited { color: #69c; background-color: inherit; }
  37. a.near:active { color: #390; background-color: inherit; }
  38. a.near:hover { color: #390; background-color: inherit; }
  39.  
  40. a[class="url outside"]:before { content: "\2197"; }
  41. body.safari a[class="url outside"]:before { content: url(http://www.emacswiki.org/alex/pics/arrow.png); }
  42.  
  43. /* goto bar, navigation bar, etc. */
  44.  
  45. span.bar a { margin-right: 1ex; }
  46.  
  47. /* logo on the right */
  48.  
  49. img.logo {
  50. float: right;
  51. padding: 0;
  52. border: none;
  53. }
  54.  
  55. /* headers */
  56.  
  57. h1, h3 {
  58. margin: 0px;
  59. padding: 0px;
  60. font-weight: normal;
  61. line-height: normal;
  62. clear: both;
  63. }
  64.  
  65. h2 {
  66. margin: 0px;
  67. padding: 0px;
  68. font-weight: normal;
  69. line-height: normal;
  70. clear: both;
  71.  
  72. background: lightBlue;
  73. width: 70%;
  74. padding-bottom: 1px;
  75. }
  76.  
  77. /* dashed line and whitespace after the title */
  78. div.header h1 {
  79. font-size: 28pt;
  80. font-family: "Century Gothic", "Gill Sans", Helvetica, sans-serif;
  81. font-weight: 100;
  82. letter-spacing: 0.07em;
  83. margin-top: 30px;
  84. padding-bottom: 30px;
  85. margin-bottom: 30px;
  86. border-bottom: 1px dashed #333;
  87. }
  88.  
  89. div.header h1 a {
  90. color: inherit;
  91. background-color: inherit;
  92. }
  93.  
  94. h1 {
  95. color: #FFF;
  96. background-color: #036;
  97. }
  98.  
  99. /* add a dashed line and whitespace before subheadings */
  100. h2 {
  101. margin-top: 2em;
  102. padding-top: 2em;
  103. border-top: 1px dashed #333;
  104. }
  105.  
  106. /* after a subheading, no whitespace */
  107. h2 + p, h3 + p {
  108. margin-top: 0;
  109. }
  110.  
  111. /* when the subheading starts the page, no dashed line and whitespace,
  112. because that is already added by the header. */
  113. h2:first-child {
  114. padding-top: 0;
  115. border: none;
  116. }
  117.  
  118. /* major subtitles blue and not underlined, both for journals and normal pages.
  119. within journals, do not use a horizontal line to separate entries. */
  120.  
  121. h2, div.journal h1 {
  122. font-size: inherit;
  123. font-weight: bold;
  124. }
  125.  
  126. h3, div.journal h1 a {
  127. color: #009;
  128. background-color: inherit;
  129. text-decoration: none;
  130. }
  131.  
  132. hr {
  133. border: none;
  134. margin: 2em;
  135. }
  136.  
  137.  
  138. /*datatable */
  139.  
  140. table {
  141. border-collapse:collapse;
  142. padding-top: 10px;
  143. }
  144. th, td {
  145. padding: 0px 5px 0px 5px;
  146. }
  147. table, th, td
  148. {
  149. border: 1px solid black;
  150. }
  151.  
  152. /* table on the new page */
  153.  
  154. p.table a { float: left; width: 20ex; }
  155. p.table + p { clear: both; padding-top: 10px; }
  156.  
  157.  
  158.  
  159. /* edit pages */
  160.  
  161. textarea[name="text"] { width: 100%; height: 80%; }
  162. textarea[name="summary"] { width: 100%; height: 3em; }
  163.  
  164. /* comments */
  165.  
  166. textarea[name="aftertext"] {
  167. width: 100%;
  168. height: 10em;
  169. margin: 1em 0;
  170. }
  171. div.commentshown {
  172. font-size: smaller;
  173. padding: 0 2em 1ex 2em;
  174. }
  175. div.commentshown hr {
  176. margin: 1em;
  177. }
  178. div.commenthidden { display: none; }
  179. div.commentshown { display: block; }
  180. p.comment { font-size: x-small; }
  181.  
  182. /* cal */
  183. div.month {
  184. padding: 0;
  185. margin: 0 2ex;
  186. }
  187. div.month a {
  188. text-decoration: none;
  189. }
  190. /* pre gets different colors below */
  191. div.month pre {
  192. color: inherit;
  193. background-color: inherit;
  194. }
  195. body div.month {
  196. float: right;
  197. padding: 0 1ex;
  198. }
  199. div.year div.month {
  200. float: left;
  201. padding: 0;
  202. }
  203. div.month a.edit {
  204. color: inherit;
  205. background-color: inherit;
  206. font-weight: inherit;
  207. }
  208.  
  209. /* images, styles to use for the image extension */
  210.  
  211. a.image img {
  212. border: none;
  213. }
  214. a.left {
  215. float: left;
  216. margin: 20px;
  217. }
  218. a.right {
  219. float: right;
  220. margin: 20px;
  221. }
  222.  
  223. /* code */
  224.  
  225. pre {
  226. font-family: "Andale Mono", Monaco, "Courrier New", monospace;
  227. margin: 1em 0;
  228. padding: 1em 2em;
  229. color: #000;
  230. background-color: #ddd;
  231. }
  232.  
  233. /* diff */
  234.  
  235. div.diff { padding-left: 5%; padding-right: 5%; }
  236. div.old { background-color: #FFFFAF; color: #000; }
  237. div.new { background-color: #CFFFCF; color: #000; }
  238.  
  239. /* header stuff */
  240.  
  241. div.message { background-color: #FEE; color: #000; }
  242.  
  243. /* footer stuff */
  244.  
  245. div.footer {
  246. clear: both;
  247. font-size: smaller;
  248. }
  249. div.footer + hr {
  250. border: none;
  251. margin: 10px;
  252. }
  253.  
  254. div.sister {
  255. font-size: smaller;
  256. margin-right: 1ex;
  257. }
  258. div.sister p {
  259. margin-top: 0;
  260. }
  261. div.sister hr {
  262. display: none;
  263. }
  264. div.sister img {
  265. border: none;
  266. vertical-align: top;
  267. margin-right: 20px;
  268. }
  269.  
  270. div.near {
  271. font-size: smaller;
  272. }
  273.  
  274. div.refer hr {
  275. display: none;
  276. }
  277. div.refer {
  278. margin-top: 50px;
  279. padding-left: 1ex;
  280. border-left: 0.6ex solid #aaa;
  281. font-size: smaller;
  282. clear: both;
  283. }
  284.  
  285. /* sidebar */
  286.  
  287. div.sidebar {
  288. float: right;
  289. border: 1px dotted #000;
  290. padding: 0 1em;
  291. }
  292. div.sidebar ul {
  293. padding-left: 1em;
  294. }
  295.  
  296. /* printing */
  297.  
  298. @media print {
  299. div.diff, div.diff+hr, div.refer, div.near, div.sister, div.cal, div.footer,
  300. span.specialdays, span.gotobar, a.edit, a.number span,
  301. div.rc form { display: none; }
  302. body { font: 12pt "Neep", "Arial", sans-serif; color: #000; }
  303. a:link, a:visited { color: #000; text-decoration: none; font-style: oblique; }
  304. a[class="url number"]:after, a[class="inter number"]:after { content: "[" attr(href) "]"; }
  305. a[class="local number"]:after { content: "[" attr(title) "]"; }
  306. a.near { font-weight: normal; text-decoration: none; font-style: oblique; }
  307. a.near:link, a.near:visited, a.near:active, a.near:hover {
  308. color: inherit; background-color: inherit;
  309. }
  310. a[class="near"]:after { content: " [" attr(title) "]"; }
  311. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement