style.css 5.4 KB

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