bootstrap.css 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348
  1. /* Public Domain
  2. Written by Alex Schroeder and Evgkeni Sampelnikof */
  3. textarea { width:100%; }
  4. h1 a { color: inherit }
  5. div.journal h1 { font-size:large; }
  6. table { margin-bottom: 1em; }
  7. div.diff { padding-left:5%; padding-right:5%; }
  8. div.old { background-color:#FFFFAF; }
  9. div.new { background-color:#CFFFCF; }
  10. img.portrait { float: left; clear: left; margin: 1ex; border:#999 1px solid; }
  11. div.footer, div.comment, hr { clear: both; }
  12. div.portrait { float: left; clear: left; font-size: xx-small; margin-right: 1em; }
  13. div.portrait img.portrait { float: none; margin: 0; }
  14. div.portrait a { text-decoration: none; color: #999; }
  15. div.color {
  16. clear: both;
  17. padding: 1ex 2em;
  18. margin: 0 -1em;
  19. box-shadow: inset 40px 0px 20px -20px #EEEEEE,
  20. inset -40px 0px 20px -20px #EEEEEE;
  21. }
  22. .left { float:left; margin-right:1em; }
  23. .right { float:right; margin-left:1em; }
  24. div.two, div.one {
  25. color: #444;
  26. background-color: #f8f8f8;
  27. margin: 7px -1em;
  28. box-shadow: inset 40px 0px 20px -20px #EEEEEE,
  29. inset -40px 0px 20px -20px #EEEEEE,
  30. 0px 8px 4px -8px #ccc,
  31. 0px -6px 4px -8px #ccc;
  32. }
  33. .irc .time { display: none; }
  34. dl.irc dt { float: left; text-align: right; width: 13ex; }
  35. dl.irc dd { margin-left: 15ex; display: block; }
  36. div.toc {
  37. background-color: #FAFAFA;
  38. border: 1px solid #dddddd;
  39. font-family: sans-serif;
  40. font-size: 80%;
  41. line-height: 90%;
  42. margin: 3em 0 1em;
  43. padding: 1em 0px 0px 1em;
  44. border-radius: 3px;
  45. }
  46. div.toc li {
  47. font-size: 12px;
  48. line-height: 20px;
  49. }
  50. .ell .toc li {
  51. display: inline;
  52. padding-right: 1em;
  53. }
  54. div.letter { column-count: 3; -webkit-column-count: 3; -moz-column-count: 3 }
  55. .footer .edit.bar {
  56. display: block;
  57. text-align: center;
  58. }
  59. .specialdays {
  60. line-height: 1em; /* has no effect: set for div.header instead? */
  61. font-size: 0.9em;
  62. }
  63. .footer .time {
  64. display: block;
  65. text-align: center;
  66. color: #666;
  67. font-size: 10px;
  68. font-weight: bold;
  69. line-height: 12px;
  70. }
  71. .footer {
  72. color: #888;
  73. line-height: 20px;
  74. }
  75. .footer .legal {
  76. text-align: justify;
  77. -moz-text-align-last: center;
  78. text-align-last: center;
  79. font-size: 0.9em;
  80. line-height: 1.4em;
  81. margin: 0 120px 0;
  82. padding: 1em 0 0;
  83. }
  84. .footer .legal a {
  85. color: #888;
  86. text-decoration: underline;
  87. }
  88. .translation.bar {
  89. display: block;
  90. text-align: center;
  91. font-size: 0.8em;
  92. padding-top: 5px;
  93. }
  94. /* .include.WikiLanguageMenu could share those styles,
  95. (altough it might be better to leave it left-aligned) */
  96. .translation.bar a:nth-child(n+2) {
  97. border-left: 1px solid #999;
  98. }
  99. .translation.bar a {
  100. padding: 6px;
  101. display: inline-block;
  102. }
  103. .navbar .nav > li > a.brand {
  104. color: #C76A0D;
  105. padding: 5px 8px 0;
  106. }
  107. a {
  108. color: #C76A0D;
  109. }
  110. a:hover {
  111. color: #8F3E0F;
  112. }
  113. body {
  114. word-wrap: break-word;
  115. padding-left: 20px;
  116. padding-right: 20px;
  117. background-color: #EEEEEE;
  118. color: #000;
  119. font-size: 0.8em;
  120. }
  121. pre {
  122. font-size: 1em;
  123. line-height: 1.5em;
  124. }
  125. hr {
  126. border-top: #ccc 1px solid;
  127. border-bottom: #fff 1px solid;
  128. }
  129. .footer_wrapper {
  130. background: #EEEEEE;
  131. background: linear-gradient(to bottom, #EEEEEE, #CCCCCC);
  132. padding-bottom: 20px;
  133. margin-left: -20px;
  134. margin-right: -20px;
  135. padding-left: 20px;
  136. padding-right: 20px;
  137. }
  138. .footer.container hr:first-child {
  139. display: none;
  140. }
  141. .footer hr {
  142. margin: 10px 100px 0;
  143. }
  144. .footer.container {
  145. padding-top: 10px;
  146. margin-top: 10px;
  147. background: radial-gradient(
  148. 50% 8px at top,
  149. rgba(0, 0, 0, 0.3) 0%,
  150. rgba(0, 0, 0, 0) 100%
  151. );
  152. box-shadow: 0 -1px 2px -2px white;
  153. /* border-top: 1px #ccc solid; */
  154. }
  155. body, li {
  156. line-height: 2em;
  157. }
  158. h1, h2, h3 {
  159. text-shadow: 1px 1px white;
  160. }
  161. .navbar-inner {
  162. border-radius: 0 0 4px 4px;
  163. border-width: 0 1px 1px;
  164. }
  165. .navbar .nav > li > a {
  166. padding: 10px;
  167. }
  168. label[for="searchlang"], input#searchlang {
  169. display: none;
  170. }
  171. @media (max-width:480px){
  172. h1 { font-size: 1.8em; }
  173. .navbar .nav > li > a {
  174. padding: 0px 2px;
  175. line-height: 10px;
  176. }
  177. /* hide CC logo */
  178. .footer .licence {
  179. display: none;
  180. }
  181. /* make legal foo*/
  182. .footer .legal {
  183. margin: 5px 5px 5px;
  184. }
  185. .footer .bar a {
  186. margin: 2px 0;
  187. }
  188. }
  189. /* Right-alignment. Will make it harder to achieve responsive behaviour:
  190. twitter.github.com/bootstrap/components.html#navbar
  191. Look for "Responsive navbar" heading.
  192. If this is undesirable, remove the lines with the "RA" comment;
  193. */
  194. .navbar .nav {
  195. text-align: right; /* RA */
  196. *text-align: left; /* RA */
  197. width: 100%; /* RA */
  198. }
  199. .navbar .nav > li:first-child {
  200. float: left; /* RA */
  201. }
  202. .navbar .nav > li {
  203. display: inline-block; /* RA */
  204. float: none; /* RA */
  205. *float: left;
  206. *display: inline;
  207. line-height: 20px;
  208. }
  209. textarea:focus,
  210. input[type="text"]:focus,
  211. input[type="password"]:focus,
  212. input[type="datetime"]:focus,
  213. input[type="datetime-local"]:focus,
  214. input[type="date"]:focus,
  215. input[type="month"]:focus,
  216. input[type="time"]:focus,
  217. input[type="week"]:focus,
  218. input[type="number"]:focus,
  219. input[type="email"]:focus,
  220. input[type="url"]:focus,
  221. input[type="search"]:focus,
  222. input[type="tel"]:focus,
  223. input[type="color"]:focus,
  224. .uneditable-input:focus {
  225. border-color: rgba(236,160,73,.8);
  226. box-shadow: inset 0 1px 1px rgba(0,0,0,.075),
  227. 0 0 8px rgba(236,160,73,.6);
  228. }
  229. /* IE7/8 Flexibility */
  230. .container,
  231. .navbar-static-top .container,
  232. .navbar-fixed-top .container,
  233. .navbar-fixed-bottom .container {
  234. width: auto;
  235. max-width: 940px;
  236. }
  237. /* Don't widen the layout past 940 */
  238. @media (min-width: 1200px) {
  239. .container,
  240. .navbar-static-top .container,
  241. .navbar-fixed-top .container,
  242. .navbar-fixed-bottom .container {
  243. width: 940px;
  244. }
  245. }
  246. div.comment {
  247. background: radial-gradient(
  248. 50% 8px at top,
  249. rgba(0, 0, 0, 0.3) 0%,
  250. rgba(0, 0, 0, 0) 100%
  251. );
  252. background-repeat: no-repeat;
  253. box-shadow: 0 -1px 2px -2px white;
  254. padding-top: 20px;
  255. }
  256. div.comment p:nth-child(2) {
  257. color: #666;
  258. /* line-height: 15px; */
  259. font-size: 0.9em;
  260. line-height: 1.4em;
  261. }
  262. div.comment p:nth-child(1) {
  263. margin-bottom: 0px;
  264. }
  265. .comment textarea {
  266. width: 100%;
  267. *width: auto;
  268. resize: vertical;
  269. *resize: both;
  270. -webkit-box-sizing: border-box;
  271. -moz-box-sizing: border-box;
  272. box-sizing: border-box;
  273. }
  274. /* highlighting source code */
  275. span.builtin { color: #483d8b; } /* DarkSlateBlue */
  276. span.comment { color: #b22222; } /* Firebrick */
  277. span.constant { color: #008b8b; } /* DarkCyan */
  278. span.function { color: #0000ff; } /* Blue1 */
  279. span.keyword { color: #7f007f; } /* Purple */
  280. span.string { color: #8b475d; } /* VioletRed4 */
  281. span.type { color: #228b22; } /* ForestGreen */
  282. span.warning { color: #ff0000; font-weight: bold; } /* Red1 */
  283. span.comment span,
  284. span.string span { color: inherit; }
  285. span.comment span.important.constant,
  286. span.string span.important.constant { color: #008b8b; }
  287. /* old: Equivalent to Output::HTML */
  288. span.linecomment { color: #b22222; } /* firebrick */
  289. span.blockcomment { color: #b22222; } /* firebrick */
  290. span.prepro { color: purple; }
  291. span.select { font-weight: bold; }
  292. span.quote { color: #8b475d; } /* VioletRed4 */
  293. span.category_1 { color: teal; }
  294. span.category_2 { color: blue; }
  295. span.category_3 { color: blue; }
  296. code {
  297. white-space: pre-wrap;
  298. }
  299. /* Local Variables: */
  300. /* css-indent-offset: 4 */
  301. /* End: */