style.css 4.5 KB

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