style.css 5.4 KB

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