style.css 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365
  1. body,html{
  2. height:100%;
  3. }
  4. h1, h2, h3, h4, h5, h5 {
  5. font-family: Garamond, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  6. }
  7. #content-sans-footer{
  8. min-height:100%;
  9. }
  10. /* site title */
  11. .site-name {
  12. font-family: "Monaco","Inconsolata","Andale Mono","Lucida Console","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
  13. }
  14. /* footer */
  15. div#footer {
  16. margin:15px 0px;
  17. border-top:1px solid rgba(0,0,0,0.2);
  18. padding:2px 5px 0px 5px;
  19. font-size:0.7em;
  20. font-family:calibri,tahoma,arial,sans-serif;
  21. }
  22. ul.footer-content{
  23. list-style:none;
  24. padding:0px;
  25. margin:0px;
  26. }
  27. ul.footer-content li {
  28. padding-left:5px;
  29. }
  30. ul.footer-content li.elegant-power {
  31. float:right;
  32. }
  33. ul.footer-content li.elegant-license {
  34. float:left;
  35. }
  36. ul.footer-content li.elegant-subtitle{
  37. float:left;
  38. }
  39. /* comment */
  40. #comment-message {
  41. font-family:Scala,Georgia,"DejaVu Serif","Times New Roman",Times,serif;
  42. font-size: 1em;
  43. color:gray;
  44. }
  45. a.disqus-comment-count {
  46. font-family:'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  47. font-size: 0.9em;
  48. }
  49. div#disqus_thread {
  50. padding-left:10px;
  51. padding-right:10px;
  52. }
  53. /* Syntax Highlight */
  54. .highlight pre {
  55. background-color:rgb(253,246,227);
  56. border-radius:3px 3px 3px 3px;
  57. }
  58. td.code .highlight pre {
  59. border-radius:0px 3px 3px 0px;
  60. }
  61. td.code {
  62. width:100%;
  63. }
  64. .linenodiv pre {
  65. border-radius:3px 0px 0px 3px;
  66. color:rgb(101,123,131);
  67. background-color:rgb(238,232,213);
  68. }
  69. /* Tags */
  70. .list-of-tags {
  71. list-style:none;
  72. margin:0;
  73. padding:5px 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 {
  107. color:black;
  108. border-bottom:0.5px dashed darkblue;
  109. }
  110. article p 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. }
  119. .article-content p{
  120. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  121. font-variant: normal;
  122. text-transform: none;
  123. font-size: 1.1em;
  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. border-left: 5px solid rgb(100,100,100);
  131. }
  132. .article-content blockquote p {
  133. font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  134. font-variant: normal;
  135. text-transform: none;
  136. font-size: 1.2em;
  137. line-height: 1.7em;
  138. }
  139. .article-content ul {
  140. list-style-type: circle;
  141. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  142. font-size:1em;
  143. list-style-position: inside;
  144. }
  145. .article-content ol {
  146. list-style-type: decimal;
  147. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  148. font-size: 1em;
  149. list-style-position: inside;
  150. }
  151. .article-content li {
  152. margin:1px 0px 1px 20px;
  153. }
  154. .article-content dl {
  155. list-style-type: decimal;
  156. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  157. font-size: 1em;
  158. list-style-position: inside;
  159. margin:20px 0px 20px 20px;
  160. }
  161. .article-content dd {
  162. margin:1px 0px 1px 20px;
  163. padding:3px 0px 3px 0px;
  164. }
  165. .article-content dt {
  166. font-size:1.3em;
  167. }
  168. .page_header h1 {
  169. color:darkred;
  170. padding: 5px 5px 15px 5px;
  171. margin: 20px 0px 20px 0px;
  172. border-bottom: 1px solid rgb(143, 134, 134);
  173. font-size: 3em;
  174. font-weight:normal;
  175. }
  176. .page_header h1 small {
  177. color:rgb(143, 116, 116);
  178. }
  179. .page_header h1 a {
  180. color:darkred;
  181. }
  182. .page_header h1 a:hover {
  183. text-decoration:none;
  184. }
  185. ul.articles_timeline {
  186. list-style:none;
  187. margin:0px;
  188. padding-bottom:30px;
  189. }
  190. ul.articles_timeline li.next_article {
  191. float:right;
  192. margin:0px;
  193. }
  194. ul.articles_timeline li.previous_article {
  195. float:left;
  196. margin:0px;
  197. }
  198. /* Categories */
  199. .list-of-categories span {
  200. vertical-align: super;
  201. font-size: 0.7em;
  202. }
  203. a.list-of-categories {
  204. text-decoration:none;
  205. }
  206. ul.list-articles-category {
  207. list-style:none outside none;
  208. margin:0px 0px 0px 5px;
  209. }
  210. ul.list-articles-category li span{
  211. margin-right:10px;
  212. color:#AAAAAA;
  213. font-family:"PT Sans","Helvetica Neue",Arial,sans-serif;
  214. font-size: 0.9em;
  215. }
  216. a.category-link {
  217. color:rgb(51,51,51);
  218. }
  219. a.category-link:hover {
  220. text-decoration:none;
  221. }
  222. a.list-of-categories {
  223. font-size:1.1em;
  224. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  225. }
  226. a.list-of-categories:hover {
  227. color:white;
  228. background-color:rgb(0, 136, 204);
  229. border-radius:4px;
  230. }
  231. /* Base CSS */
  232. h2 a {
  233. color:rgb(51,51,51);
  234. }
  235. h2 a:hover {
  236. text-decoration:none;
  237. color:rgb(51,51,51);
  238. }
  239. a {
  240. color:rgb(56, 117, 215);
  241. }
  242. /* archives */
  243. ul.list-all-articles {
  244. list-style:none;
  245. margin:0px;
  246. }
  247. ul.list-all-articles li {
  248. border-bottom:1px dotted black;
  249. padding:0.3em 0em;
  250. font-size:1.1em;
  251. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  252. }
  253. ul.list-all-articles li time {
  254. float:right;
  255. color:#AAAAAA;
  256. font-family:"PT Sans","Helvetica Neue",Arial,sans-serif;
  257. font-size: 0.9em;
  258. }
  259. /* top menu */
  260. ul.top-menu li a {
  261. font-weight: bold;
  262. }
  263. /* MailChimp */
  264. #mc_embed_signup {
  265. font-size:inherit;
  266. font-family:inherit;
  267. margin:10px 0px;
  268. }
  269. #mc_embed_signup form {
  270. padding:0px;
  271. }
  272. #mc_embed_signup input.button {
  273. width: 100%
  274. }
  275. #mc_embed_signup input.email {
  276. width:100%;
  277. }
  278. #mc_embed_signup .button {
  279. font-size: 1em;
  280. }
  281. /* front page */
  282. #allposts {
  283. color:rgb(153, 153, 153);
  284. font-size:75%;
  285. float:right;
  286. font-weight:normal;
  287. }
  288. .proj_desc {
  289. color:#999999;
  290. font-family:"PT Sans","Helvetica Neue",Arial,sans-serif;
  291. font-size: 0.9em;
  292. }
  293. .amp {
  294. font-family:"Warnock Pro", "Goudy Old Style","Palatino","Book Antiqua",serif;
  295. font-style:italic;
  296. }