base.css 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483
  1. .site_logo {
  2. margin: 0px;
  3. padding: 0px;
  4. border: 0px;
  5. float: left;
  6. }
  7. body {
  8. margin: 0px;
  9. background-color: #323241;
  10. padding-left: 150px; /* LC fullwidth */
  11. color: black;
  12. /* padding-right: 190px; /\* RC fullwidth + CC padding *\/ */
  13. }
  14. .top_left_table td, .top_left_table th{
  15. text-align: left;
  16. vertical-align: top;
  17. }
  18. #site_header {
  19. margin-left: -150px;
  20. margin-right: 0px;
  21. background-image: url(/etc/images/full_cloud.png);
  22. height: 95px;
  23. background-color: grey;
  24. display: block;
  25. }
  26. #site_buttonbox {
  27. padding-top: 55px;
  28. padding-bottom: 0px;
  29. margin: 0px;
  30. height: 25px;
  31. list-style: none;
  32. display: block;
  33. }
  34. li.button a {
  35. text-decoration: none;
  36. }
  37. a {
  38. color: #732fb2;
  39. }
  40. a:visited {
  41. color: #491a6e;
  42. }
  43. a:hover {
  44. color: #8f63ab;
  45. }
  46. A IMG {
  47. border: 0px;
  48. }
  49. #buttonbox li {
  50. /*
  51. * margin: 4px;
  52. * padding: 4px;
  53. */
  54. margin: 0px;
  55. margin-right: 4px;
  56. }
  57. div.archives h3 {
  58. border-style: solid;
  59. border-width: 3px;
  60. border-color: #242035;
  61. background-color: #c2bed7;
  62. margin-bottom: 5px;
  63. }
  64. div.widget ul {
  65. margin-top: 3px;
  66. padding-left: 0px;
  67. margin-left: 0px;
  68. list-style: none;
  69. }
  70. div.archives a {
  71. border-style: solid;
  72. border-width: 2px;
  73. border-left-width: 0px;
  74. border-color: #282531;
  75. background-color: #403854;
  76. color: #d0c3f2;
  77. padding-left: 3px;
  78. margin-bottom: 2px;
  79. margin-right: 4px;
  80. text-decoration: none;
  81. }
  82. div.widget ul li a {
  83. color: #d0c3f2;
  84. text-decoration: none;
  85. }
  86. .button {
  87. display: inline;
  88. }
  89. #container {
  90. width: 100%;
  91. margin-bottom: 200px;
  92. }
  93. #site_sidebar {
  94. margin-left: -150px;
  95. left: 0px;
  96. top: 95px;
  97. width: 147px;
  98. background-color: #aeb1c4;
  99. float: left;
  100. min-height: 300px;
  101. border-style: solid;
  102. border-left-width: 0px;
  103. border-right-width: 3px;
  104. border-top-width: 0px;
  105. border-bottom-width: 3px;
  106. border-color: #0e0e16;
  107. background-image: url(/etc/images/textured_sidebar.png);
  108. padding-bottom: 5px;
  109. }
  110. #site_sidebar h3 {
  111. margin-top: 0px;
  112. }
  113. #site_content {
  114. margin-left: -150px;
  115. top: 95px;
  116. bottom: 20px;
  117. right: 0px;
  118. /* background-color: #323241; */
  119. }
  120. #site_content__sidebar {
  121. top: 95px;
  122. bottom: 20px;
  123. right: 0px;
  124. /* background-color: #323241; */
  125. float: left;
  126. width: 100%;
  127. }
  128. #site_footer{
  129. padding-top: 5px;
  130. min-height: 20px;
  131. max-height: 50px;
  132. background-color: #615442;
  133. color: #d9cbb8;
  134. margin-left: -150px;
  135. clear: both;
  136. background-image: url(/etc/images/dustycloud_footer.png);
  137. background-position: 0px 0px;
  138. border-style: solid;
  139. border-color: black;
  140. border-width: 0px;
  141. border-top-width: 3px;
  142. font-family: courier;
  143. font-size: smaller;
  144. padding-bottom: 2px;
  145. text-align: right;
  146. }
  147. #site_footer a {
  148. color: #d9cbb8;
  149. }
  150. /* should be moved to blog.css */
  151. .entry {
  152. border: solid;
  153. border-width: 3px;
  154. border-color: #1b1b27;
  155. background-color: #d6d3dd;
  156. margin: 5px auto;
  157. max-width: 1024px;
  158. padding: 0px;
  159. border-radius: 5px;
  160. line-height: 1.4;
  161. }
  162. @media screen and ( max-width: 800px ){
  163. .entry {
  164. margin: 5px;
  165. }
  166. }
  167. .plain_content {
  168. border: solid;
  169. border-width: 3px;
  170. border-color: #1b1b27;
  171. background-color: #d2d2d6;
  172. margin: 5px;
  173. padding: 4px;
  174. margin-left: 10px;
  175. margin-right: 10px;
  176. float: center;
  177. border-radius: 5px;
  178. }
  179. .plain_content H1 {
  180. text-align: center;
  181. margin: -4px;
  182. margin-bottom: 2px;
  183. border-width: 0px;
  184. border-bottom-width: 2px;
  185. border-style: dashed;
  186. border-color: #5c5c85;
  187. background-color: #a3a3b3;
  188. font-family: courier;
  189. font-size: 18pt;
  190. border-radius: 2px 2px 0px 0px;
  191. }
  192. .entry div.text {
  193. padding: 5px;
  194. padding-top: 0px;
  195. padding-bottom: 0px;
  196. margin: 0px;
  197. }
  198. .entry h3, .entry h2 {
  199. background-color: #e4e3e9;
  200. border-bottom-style: solid;
  201. border-color: #3e2e5b;
  202. margin-top: 0px;
  203. margin-bottom: 0px;
  204. padding: 5px;
  205. border-radius: 5px 5px 0px 0px;
  206. }
  207. h2.entry_title a {
  208. text-decoration: none;
  209. color: #561f85;
  210. }
  211. h2.entry_title a:hover {
  212. color: #956cb7;
  213. }
  214. .entry p.meta {
  215. /* border-bottom-style: solid; */
  216. border-color: #3e2e5b;
  217. background-color: #403854;
  218. margin: 0px;
  219. padding-left: 5px;
  220. padding-right: 5px;
  221. font-size: smaller;
  222. color: #c9c1bb;
  223. }
  224. .entry p.meta a {
  225. color: #8484de;
  226. }
  227. .post_content {
  228. padding: 0px;
  229. margin: 0px;
  230. padding-left: 5px;
  231. padding-right: 5px;
  232. }
  233. .entry p.related {
  234. text-align: right;
  235. padding-left: 5px;
  236. padding-right: 5px;
  237. font-size: smaller;
  238. }
  239. #comments_container {
  240. border-color: #1b1b27;
  241. border-width: 3px;
  242. border-style: solid;
  243. background-color: #bebec4;
  244. padding-left: 5px;
  245. padding-right: 5px;
  246. margin: 5px;
  247. }
  248. #comments_title {
  249. text-align: center;
  250. margin: 0px;
  251. margin-left: -5px;
  252. margin-right: -5px;
  253. border-width: 0px;
  254. border-bottom-width: 2px;
  255. border-style: dashed;
  256. border-color: #5c5c85;
  257. background-color: #a3a3b3;
  258. }
  259. .comment div.text {
  260. font-size: 11pt;
  261. }
  262. .comment p.meta {
  263. font-size: 8pt;
  264. text-align: right;
  265. }
  266. .comment_separator {
  267. width: 100%;
  268. }
  269. ul#comments {
  270. padding: 0px 0px 0px 3px;
  271. }
  272. li.comment {
  273. list-style: none;
  274. padding: 0px;
  275. margin: 0px;
  276. border-width: 0px 0px 2px 0px;
  277. border-style: dashed;
  278. }
  279. #blog_infobox {
  280. border-color: #1b1b27;
  281. border-width: 3px;
  282. border-style: solid;
  283. background-color: #bebec4;
  284. padding-left: 5px;
  285. padding-right: 5px;
  286. margin: 5px;
  287. }
  288. #blog_infobox_title {
  289. text-align: center;
  290. margin: 0px;
  291. margin-left: -5px;
  292. margin-right: -5px;
  293. border-width: 0px;
  294. border-bottom-width: 2px;
  295. border-style: dashed;
  296. border-color: #5c5c85;
  297. background-color: #a3a3b3;
  298. font-weight: bold;
  299. }
  300. div.pagination {
  301. color: #D6D3DD;
  302. margin-left: auto;
  303. margin-right: auto;
  304. text-align: center;
  305. }
  306. div.pagination a {
  307. color: #6363cb;
  308. }
  309. .centered {
  310. text-align: center;
  311. }
  312. h1.page-title {
  313. padding-left: 5px;
  314. color: #d6d3dd;
  315. text-align: center;
  316. text-shadow: 2px 2px #514b5f;
  317. }
  318. h2.divider-title {
  319. padding-left: 5px;
  320. color: #d6d3dd;
  321. text-align: center;
  322. text-shadow: 2px 2px #514b5f;
  323. }
  324. a.tag-0 {
  325. font-size: 140%;
  326. }
  327. a.tag-1 {
  328. font-size: 120%;
  329. }
  330. a.tag-2 {
  331. font-size: 100%;
  332. }
  333. a.tag-3 {
  334. font-size: 80%;
  335. }
  336. a.tag-4 {
  337. font-size: 60%;
  338. }
  339. div.toon-chris {
  340. float: right;
  341. width: 325px;
  342. height: 294px;
  343. background-image: url(/etc/images/libreplanet_toon_chris.png);
  344. }
  345. div.toon-chris:hover {
  346. background-image: url(/etc/images/libreplanet_photo_chris.png);
  347. }
  348. div.highlight {
  349. margin-left: 10px;
  350. padding: 3px;
  351. padding-left: 10px;
  352. background-color: #f8f8f8;
  353. }
  354. .literal-block {
  355. padding-left: 20px;
  356. }
  357. p.caption {
  358. text-align: center;
  359. font-style: italic;
  360. }
  361. div.figure {
  362. text-align: center;
  363. padding-top: 5px;
  364. }
  365. .entry img {
  366. display: block;
  367. margin: auto;
  368. max-width: 100%;
  369. height: auto;
  370. }
  371. div.pagination {
  372. width: fit-content;
  373. margin: auto;
  374. margin-let: auto;
  375. margin-right: auto;
  376. box-shadow: 0px 0px 3px #cec6d2;
  377. border-radius: 5px;
  378. border: 3px solid #675f68;
  379. background: #e4e3e9;
  380. color: #675f68;
  381. padding: 10px;
  382. padding-left: 30px;
  383. padding-right: 30px;
  384. }
  385. div.code {
  386. border-radius: 5px;
  387. border: 3px solid #110e13;
  388. background: #110e13;
  389. color: #d3ccdc;
  390. padding: 20px;
  391. margin: 20px;
  392. overflow: hidden;
  393. white-space: pre;
  394. font-family: 'Inconsolata', monospace;
  395. }
  396. pre {
  397. border-radius: 5px;
  398. border: 3px solid #110e13;
  399. background: #110e13;
  400. color: #d3ccdc;
  401. padding: 20px;
  402. margin: 20px;
  403. font-family: 'Inconsolata', monospace;
  404. overflow: scroll;
  405. font-size: 125%;
  406. line-height: 1.1;
  407. }