style.css 4.9 KB

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