style.css 5.2 KB

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