elegant.css 7.8 KB

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