style.css 5.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308
  1. body,html{
  2. height:100%;
  3. }
  4. #content-sans-footer{
  5. min-height:100%;
  6. }
  7. /* site title */
  8. .site-name {
  9. font-family: "Monaco","Inconsolata","Andale Mono","Lucida Console","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
  10. }
  11. /* footer */
  12. div#footer {
  13. margin:15px 0px;
  14. border-top:1px solid rgba(0,0,0,0.2);
  15. padding:2px 5px 0px 5px;
  16. font-size:0.7em;
  17. font-family:calibri,tahoma,arial,sans-serif;
  18. }
  19. ul.footer-content{
  20. list-style:none;
  21. padding:0px;
  22. margin:0px;
  23. }
  24. ul.footer-content li {
  25. padding-left:5px;
  26. }
  27. ul.footer-content li.elegant-power {
  28. float:right;
  29. }
  30. ul.footer-content li.elegant-license {
  31. float:left;
  32. }
  33. ul.footer-content li.elegant-subtitle{
  34. float:left;
  35. }
  36. /* comment */
  37. #comment-message {
  38. font-family:Scala,Georgia,"DejaVu Serif","Times New Roman",Times,serif;
  39. font-size: 1em;
  40. color:gray;
  41. }
  42. a.disqus-comment-count {
  43. font-family:'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  44. font-size: 0.9em;
  45. }
  46. div#disqus_thread {
  47. padding-left:10px;
  48. padding-right:10px;
  49. }
  50. /* Syntax Highlight */
  51. .codehilite pre {
  52. background-color:rgb(253,246,227);
  53. border-radius:3px 3px 3px 3px;
  54. }
  55. td.code .codehilite pre {
  56. border-radius:0px 3px 3px 0px;
  57. }
  58. td.code {
  59. width:100%;
  60. }
  61. .linenodiv pre {
  62. border-radius:3px 0px 0px 3px;
  63. color:rgb(101,123,131);
  64. background-color:rgb(238,232,213);
  65. }
  66. /* Tags */
  67. .list-of-tags {
  68. list-style:none;
  69. margin:0;
  70. padding:5px 0 ;
  71. overflow:hidden;
  72. font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  73. }
  74. .list-of-tags li {
  75. line-height:28px;
  76. float:left;
  77. margin:0px;
  78. }
  79. .list-of-tags a {
  80. padding: 3px 6px;
  81. margin: 2px;
  82. color: #222;
  83. background:#EEE;
  84. border-radius: 3px;
  85. text-decoration:none;
  86. }
  87. .list-of-tags a span {
  88. vertical-align: super;
  89. font-size: 0.8em;
  90. }
  91. .tags-in-article li {
  92. line-height:28px;
  93. float:none;
  94. }
  95. h2.tag-title {
  96. font-family:'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  97. }
  98. ul.articles-in-tag li {
  99. font-family:'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  100. font-size:1.1em;
  101. }
  102. /* Article */
  103. .article-content {
  104. text-align:justify;
  105. max-width:50em;
  106. }
  107. .article-content p{
  108. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  109. font-variant: normal;
  110. text-transform: none;
  111. font-size: 1.1em;
  112. line-height: 1.6em;
  113. margin:20px 0px 20px 0px;
  114. }
  115. .article-content blockquote {
  116. padding: 0px 0px 0px 20px;
  117. margin: 20px 0px 20px 0px;
  118. border-left: 5px solid rgb(100,100,100);
  119. }
  120. .article-content blockquote p {
  121. font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  122. font-variant: normal;
  123. text-transform: none;
  124. font-size: 1.2em;
  125. line-height: 1.7em;
  126. }
  127. .article-content ul {
  128. list-style-type: circle;
  129. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  130. font-size:1em;
  131. list-style-position: inside;
  132. }
  133. .article-content ol {
  134. list-style-type: decimal;
  135. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  136. font-size: 1em;
  137. list-style-position: inside;
  138. }
  139. .article-content li {
  140. margin:1px 0px 1px 20px;
  141. }
  142. .article-content dl {
  143. list-style-type: decimal;
  144. font-family: Scala, Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  145. font-size: 1em;
  146. list-style-position: inside;
  147. margin:20px 0px 20px 20px;
  148. }
  149. .article-content dd {
  150. margin:1px 0px 1px 20px;
  151. padding:3px 0px 3px 0px;
  152. }
  153. .article-content dt {
  154. font-size:1.3em;
  155. }
  156. .page_header h1 {
  157. color:darkred;
  158. padding: 5px 5px 15px 5px;
  159. margin: 20px 0px 20px 0px;
  160. border-bottom: 1px solid rgb(143, 134, 134);
  161. font-size: 3em;
  162. font-family: Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
  163. font-weight:normal;
  164. }
  165. .page_header h1 small {
  166. color:rgb(143, 116, 116);
  167. }
  168. .page_header h1 a {
  169. color:darkred;
  170. }
  171. .page_header h1 a:hover {
  172. text-decoration:none;
  173. }
  174. ul.articles_timeline {
  175. list-style:none;
  176. margin:0px;
  177. padding-bottom:30px;
  178. }
  179. ul.articles_timeline li.next_article {
  180. float:right;
  181. margin:0px;
  182. }
  183. ul.articles_timeline li.previous_article {
  184. float:left;
  185. margin:0px;
  186. }
  187. /* Categories */
  188. .list-of-categories span {
  189. vertical-align: super;
  190. font-size: 0.7em;
  191. }
  192. a.list-of-categories {
  193. text-decoration:none;
  194. }
  195. ul.list-articles-category {
  196. list-style:none outside none;
  197. margin:0px 0px 0px 5px;
  198. }
  199. ul.list-articles-category li span{
  200. margin-right:10px;
  201. color:#AAAAAA;
  202. font-family:"PT Sans","Helvetica Neue",Arial,sans-serif;
  203. font-size: 0.9em;
  204. }
  205. a.category-link {
  206. color:rgb(51,51,51);
  207. }
  208. a.category-link:hover {
  209. text-decoration:none;
  210. }
  211. a.list-of-categories {
  212. font-size:1.1em;
  213. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  214. }
  215. a.list-of-categories:hover {
  216. color:white;
  217. background-color:rgb(0, 136, 204);
  218. border-radius:4px;
  219. }
  220. /* Base CSS */
  221. h2 a {
  222. color:rgb(51,51,51);
  223. }
  224. h2 a:hover {
  225. text-decoration:none;
  226. color:rgb(51,51,51);
  227. }
  228. a {
  229. color:rgb(56, 117, 215);
  230. }
  231. /* archives */
  232. ul.list-all-articles {
  233. list-style:none;
  234. margin:0px;
  235. }
  236. ul.list-all-articles li {
  237. border-bottom:1px dotted black;
  238. padding:0.3em 0em;
  239. font-size:1.1em;
  240. font-family: 'Trebuchet MS',Trebuchet,'Lucida Sans Unicode','Lucida Grande','Lucida Sans',Arial,sans-serif;
  241. }
  242. ul.list-all-articles li time {
  243. float:right;
  244. color:#AAAAAA;
  245. font-family:"PT Sans","Helvetica Neue",Arial,sans-serif;
  246. font-size: 0.9em;
  247. }
  248. /* top menu */
  249. ul.top-menu li a {
  250. font-weight: bold;
  251. }