elegant.css 7.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368
  1. body,
  2. html {
  3. height: 100%;
  4. }
  5. #content-sans-footer {
  6. min-height: 100%;
  7. }
  8. h1,
  9. h2,
  10. h3,
  11. h4,
  12. h5,
  13. h5 {
  14. font-family: Baskerville,Garamond,Georgia,'DejaVu Serif','Times New Roman',Times,serif;
  15. font-weight: normal;
  16. }
  17. a {
  18. color: #3875d7;
  19. }
  20. /* site title */
  21. .site-name {
  22. font-family: 'Monaco','Inconsolata','Andale Mono','Lucida Console','Bitstream Vera Sans Mono','Courier New',Courier,monospace;
  23. }
  24. /* Top navigation menu */
  25. ul.top-menu li a {
  26. font-weight: bold;
  27. }
  28. /* Footer */
  29. div#footer {
  30. border-top: 1px solid rgba(0,0,0,.2);
  31. font-family: calibri,tahoma,arial,sans-serif;
  32. font-size:.7em;
  33. margin: 15px 0;
  34. padding: 2px 5px 0;
  35. }
  36. ul.footer-content {
  37. list-style: none;
  38. margin: 0;
  39. padding: 0;
  40. }
  41. ul.footer-content li {
  42. padding-left: 5px;
  43. }
  44. ul.footer-content li.elegant-power {
  45. float: right;
  46. }
  47. ul.footer-content li.elegant-license {
  48. float: left;
  49. }
  50. ul.footer-content li.elegant-subtitle {
  51. float: left;
  52. }
  53. /* comment */
  54. #comment-message {
  55. color: #808080;
  56. font-family: 'PT Serif',Georgia,Times,'Times New Roman',serif;
  57. font-size: 1em;
  58. }
  59. a.disqus-comment-count {
  60. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  61. font-size: .9em;
  62. }
  63. div#disqus_thread {
  64. padding-left: 10px;
  65. padding-right: 10px;
  66. }
  67. /* Syntax Highlight */
  68. .highlight pre {
  69. background-color: #fdf6e3;
  70. border-radius: 3px 3px 3px 3px;
  71. }
  72. td.code .highlight pre {
  73. border-radius: 0 3px 3px 0;
  74. }
  75. td.code {
  76. width: 100%;
  77. }
  78. .linenodiv pre {
  79. background-color: #eee8d5;
  80. border-radius: 3px 0 0 3px;
  81. color: #657b83;
  82. }
  83. /* Tags */
  84. .list-of-tags {
  85. font-family: 'Helvetica Neue',Helvetica,Arial,sans-serif;
  86. list-style: none;
  87. margin: 0;
  88. overflow: hidden;
  89. }
  90. .list-of-tags li {
  91. float: left;
  92. line-height: 28px;
  93. margin: 0;
  94. }
  95. .list-of-tags a {
  96. background: #EEE;
  97. border-radius: 3px;
  98. color: #222;
  99. margin: 2px;
  100. padding: 3px 6px;
  101. text-decoration: none;
  102. }
  103. .list-of-tags a span {
  104. font-size: .8em;
  105. vertical-align: super;
  106. }
  107. .tags-in-article li {
  108. float: none;
  109. line-height: 28px;
  110. }
  111. h2.tag-title {
  112. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  113. }
  114. ul.articles-in-tag li {
  115. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  116. font-size: 1.1em;
  117. }
  118. /* Article */
  119. article p a,
  120. article ol a,
  121. article div.article-content ul:not(.articles_timeline) a {
  122. border-bottom: thin dashed #A9A9A9;
  123. color: #000;
  124. }
  125. article p a:hover,
  126. article ol a:hover,
  127. article div.article-content ul:not(.articles_timeline) a:hover {
  128. border-bottom: none;
  129. text-decoration: none;
  130. text-shadow: none;
  131. }
  132. .article-content {
  133. font-family: 'PT Serif',Georgia,Times,'Times New Roman',serif;
  134. font-size: 1.2em;
  135. max-width: 50em;
  136. text-align: justify;
  137. }
  138. .article-content p {
  139. font-size: inherit;
  140. font-variant: normal;
  141. line-height: 1.6em;
  142. margin: 20px 0;
  143. text-transform: none;
  144. }
  145. .article-content blockquote {
  146. border-left: 0;
  147. margin-left: 2em;
  148. margin: 20px 0;
  149. padding: 0 0 0 20px;
  150. }
  151. .article-content blockquote:before {
  152. color: #646464;
  153. content: '\f10d';
  154. font-family: FontAwesome;
  155. font-size: 18px;
  156. font-style: normal;
  157. font-weight: normal;
  158. margin-left: -2em;
  159. text-decoration: inherit;
  160. }
  161. .article-content blockquote p {
  162. font-family: 'Helvetica Neue',Helvetica,Arial,sans-serif;
  163. font-size: inherit;
  164. font-variant: normal;
  165. line-height: 1.7em;
  166. margin-top:-20px;
  167. text-transform: none;
  168. }
  169. .article-content ul {
  170. font-size: inherit;
  171. list-style-type: circle;
  172. }
  173. .article-content ol {
  174. font-size: inherit;
  175. list-style-type: decimal;
  176. }
  177. .article-content li {
  178. line-height: 1.7em;
  179. list-style-position: outside;
  180. margin: 1px 0 1px 20px;
  181. }
  182. .article-content dl {
  183. font-size: inherit;
  184. list-style-position: outside;
  185. list-style-type: decimal;
  186. margin: 20px 0 20px 20px;
  187. }
  188. .article-content dd {
  189. line-height: 1.7em;
  190. margin: 1px 0 1px 20px;
  191. padding: 3px 0;
  192. }
  193. .article-content dt {
  194. font-size: inherit;
  195. }
  196. .page_header h1 {
  197. border-bottom: 1px solid #8f8686;
  198. color: #8B0000;
  199. font-size: 3em;
  200. font-weight: normal;
  201. margin: 20px 0;
  202. padding: 5px 5px 15px;
  203. }
  204. .page_header h1 small {
  205. color: #8f7474;
  206. }
  207. .page_header h1 a {
  208. color: #8B0000;
  209. }
  210. .page_header h1 a:hover {
  211. text-decoration: none;
  212. }
  213. ul.articles_timeline {
  214. list-style: none;
  215. margin: 0;
  216. padding-bottom: 30px;
  217. }
  218. ul.articles_timeline li.next_article {
  219. float: right;
  220. margin: 0;
  221. }
  222. ul.articles_timeline li.previous_article {
  223. float: left;
  224. margin: 0;
  225. }
  226. .sidebar-social-links {
  227. color: #646464;
  228. font-size: 1.2em;
  229. padding-right: 3px;
  230. text-decoration: none;
  231. }
  232. .sidebar-social-links i:hover {
  233. color: #000;
  234. }
  235. .table-of-content .toc {
  236. font-size: .7em;
  237. }
  238. .last-updated a {
  239. color: #333;
  240. }
  241. .last-updated a:hover {
  242. text-decoration: none;
  243. }
  244. .article-content img {
  245. border: 2px solid #EEE;
  246. padding: 5px;
  247. }
  248. /* Perma link in article */
  249. h1:hover > a.headerlink,
  250. h2:hover > a.headerlink,
  251. h3:hover > a.headerlink,
  252. h4:hover > a.headerlink,
  253. h5:hover > a.headerlink,
  254. h6:hover > a.headerlink,
  255. dt:hover > a.headerlink {
  256. text-decoration: none;
  257. visibility: visible;
  258. }
  259. a.headerlink {
  260. color: grey;
  261. padding-left:.5em;
  262. visibility: hidden;
  263. }
  264. /* Categories */
  265. .list-of-categories span {
  266. font-size: .7em;
  267. vertical-align: super;
  268. }
  269. a.list-of-categories {
  270. text-decoration: none;
  271. }
  272. ul.list-articles-category {
  273. list-style: none outside none;
  274. margin: 0 0 0 5px;
  275. }
  276. ul.list-articles-category li span {
  277. color: #AAA;
  278. font-family: 'PT Sans','Helvetica Neue',Arial,sans-serif;
  279. font-size: .9em;
  280. margin-right: 10px;
  281. }
  282. a.category-link {
  283. color: #333;
  284. }
  285. a.category-link:hover {
  286. text-decoration: none;
  287. }
  288. a.list-of-categories {
  289. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  290. font-size: 1.1em;
  291. }
  292. a.list-of-categories:hover {
  293. background-color: #08c;
  294. border-radius: 4px;
  295. color: #FFF;
  296. }
  297. /* Archives */
  298. ul.list-all-articles {
  299. list-style: none;
  300. margin: 0;
  301. }
  302. ul.list-all-articles li {
  303. border-bottom: 1px dotted #000;
  304. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  305. font-size: 1.1em;
  306. padding:.3em 0;
  307. }
  308. ul.list-all-articles li time {
  309. color: #AAA;
  310. float: right;
  311. font-family: 'PT Sans','Helvetica Neue',Arial,sans-serif;
  312. font-size: .9em;
  313. }
  314. /* MailChimp */
  315. #mc_embed_signup {
  316. font-family: inherit;
  317. font-size: inherit;
  318. margin: 10px 0;
  319. }
  320. #mc_embed_signup form {
  321. padding: 0;
  322. }
  323. #mc_embed_signup input.button {
  324. width: 100%
  325. }
  326. #mc_embed_signup input.email {
  327. font-size: .9em;
  328. width: 100%;
  329. }
  330. #mc_embed_signup .button {
  331. background-color: #EEE;
  332. border: 1px solid #D3D3D3;
  333. color: #000;
  334. font-size: 1em;
  335. font-weight: normal;
  336. }
  337. #mc_embed_signup .button:hover {
  338. background-color: #DFDFDF;
  339. }
  340. #mc_embed_signup input[type='email'] {
  341. height: 100%;
  342. }
  343. /* Index page */
  344. #allposts {
  345. color: #999;
  346. float: right;
  347. font-size: 75%;
  348. font-weight: normal;
  349. }
  350. .proj_desc {
  351. color: #999;
  352. font-family: 'PT Sans','Helvetica Neue',Arial,sans-serif;
  353. font-size: .9em;
  354. }
  355. /* reST specific rules*/
  356. .literal {
  357. background-color: #f7f7f9;
  358. border: 1px solid #e1e1e8;
  359. color: #d14;
  360. padding: 2px 4px;
  361. white-space: nowrap;
  362. }
  363. .amp {
  364. font-family: 'Warnock Pro','Goudy Old Style','Palatino','Book Antiqua',serif;
  365. font-style: italic;
  366. }