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