style.css 5.5 KB

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