style.css 7.2 KB

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