style.css 4.9 KB

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