Advertisement
Guest User

wiki.css v2

a guest
Jun 23rd, 2018
125
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 6.72 KB | None | 0 0
  1. /* 26apr18edg
  2. * 07aug13abu
  3. * 30jan12jk
  4. * (c) Software Lab. Alexander Burger
  5. */
  6.  
  7.  
  8. /*********/
  9. /* Utils */
  10. .left {float: left}
  11. .right {float: right}
  12. .clr {clear: both}
  13. .norm {text-align: left}
  14. .align {text-align: right}
  15. .center {text-align: center}
  16. .black {color: black}
  17. .red {color: red}
  18. .green {color: green}
  19. .blue {color: blue}
  20. .bold {font-weight: bold}
  21. .mono {font-family: monospace}
  22.  
  23.  
  24. /*******************************/
  25. /* Simple responsive container */
  26. .container {
  27. position: relative;
  28. width: 86%;
  29. display: block;
  30. margin: 0 auto;
  31. box-sizing: border-box;
  32. }
  33.  
  34. @media screen and (min-width: 900px) {
  35. .container {
  36. max-width: 768px;
  37. }
  38. }
  39.  
  40.  
  41. /************/
  42. /* Defaults */
  43. fieldset {
  44. padding: 0.3em 0.4em 0.7em 0.8em; /* ie */
  45. }
  46.  
  47. input, textarea, select {
  48. font-size: smaller;
  49. background-color: #eee;
  50. }
  51.  
  52. body {
  53. margin: 0;
  54. font-family: "Verdana", "Arial", "sans-serif";
  55. font-size: 12px;
  56. }
  57.  
  58.  
  59. /**********************/
  60. /* Headers/typography */
  61. h1,h2,h3,h4,h5,h6 {
  62. font-family: "Verdana", "Arial", "sans-serif";
  63. color: MidnightBlue;
  64. margin-bottom: 2rem;
  65. }
  66. h1 { font-size: 24px; }
  67. h2 { font-size: 22px; font-style: italic; }
  68. h3 { font-size: 20px; }
  69. h4 { font-size: 18px; font-style: italic; }
  70. h5 { font-size: 16px; }
  71. h6 { font-size: 14px; font-style: italic; }
  72.  
  73. /**********************/
  74. /* Wiki document body */
  75. #main {
  76. font-family: "Verdana", "Arial", "sans-serif";
  77. font-size: 12px;
  78. }
  79.  
  80. p {
  81. margin-top: 0; }
  82.  
  83. /* List styles */
  84. #main > ul li {
  85. list-style-type: square;
  86. }
  87.  
  88. #main li {
  89. margin-bottom: 8px;
  90. }
  91.  
  92. #main img {
  93. max-width: 100%;
  94. height: auto;
  95. }
  96.  
  97. /* Links */
  98. a {
  99. color: #6067af;
  100. font-weight: 400;
  101. text-decoration: none;
  102. }
  103.  
  104. a:hover,
  105. a:focus {
  106. color: #6dc066;
  107. text-decoration: underline;
  108. }
  109.  
  110. /* Larger fonts for larger screens */
  111. @media screen and (min-width: 900px) {
  112. #main { font-size: 14px; }
  113. h1 { font-size: 32px; }
  114. h2 { font-size: 30px; }
  115. h3 { font-size: 28px; }
  116. h2 { font-size: 26px; }
  117. h5 { font-size: 24px; }
  118. h6 { font-size: 22px; }
  119. }
  120.  
  121.  
  122. /********/
  123. /* Menu */
  124. #menu {
  125. background: #090910;
  126. width: 100%;
  127. margin-bottom: 64px;
  128.  
  129. display: flex;
  130. display: -webkit-flex;
  131.  
  132. flex-wrap: wrap;
  133. -webkit-flex-wrap: wrap;
  134.  
  135. align-items: center;
  136. -webkit-align-items: center;
  137.  
  138. justify-content: space-around;
  139. -webkit-justify-content: space-around;
  140. }
  141.  
  142. /* Logo (homepage link) */
  143. #menu a img {
  144. max-width: 100%;
  145. height: auto;
  146. padding: 12px;
  147. }
  148.  
  149. /* Menu links */
  150. #menu a {
  151. font-weight: bold;
  152. color: white;
  153. text-decoration: none;
  154. text-transform: uppercase;
  155. }
  156.  
  157. #menu a:hover,
  158. #menu a:focus {
  159. color: #6dc066;
  160. border: none;
  161. }
  162.  
  163. /* Remove phantom margin/padding */
  164. #menu ul {
  165. margin: initial;
  166. padding: initial;
  167. }
  168.  
  169. #menu ul li {
  170. list-style: none;
  171. margin: 12px;
  172. padding: none;
  173. }
  174.  
  175. #menuLogin a {
  176. margin: 12px;
  177. }
  178.  
  179. /* display "Downloads Documentation Community" inline
  180. * on larger screens */
  181. @media screen and (min-width: 1000px) {
  182. #menu ul {
  183. display: inline-flex;
  184. }
  185. }
  186.  
  187.  
  188. /********************/
  189. /* Wiki text search */
  190. #searchGrp {
  191. margin: 8px;
  192. }
  193.  
  194. #searchGrp form {
  195. margin: 0;
  196. }
  197.  
  198. #searchGrp input,
  199. #searchGrp .submit {
  200. border-radius: 1px;
  201. padding: 4px;
  202. margin: 4px;
  203. }
  204.  
  205. #searchGrp input {
  206. background-color: white;
  207. border: 2px solid white;
  208. }
  209.  
  210. #searchGrp .submit {
  211. background-color: #090910;
  212. border: 2px solid #8c8faf;
  213. color: #8c8faf;
  214. text-transform: uppercase;
  215. }
  216.  
  217. #searchGrp .submit:hover {
  218. border-color: #6dc066;
  219. color: #6dc066;
  220. }
  221.  
  222. #searchGrp .submit:active {
  223. color: #090910;
  224. background-color: #6dc066;
  225. }
  226.  
  227. /* Search Results */
  228. #searchGrp strong {
  229. color: #6dc066; /* PL green */
  230. }
  231.  
  232. #searchGrp strong,
  233. #searchGrp a {
  234. margin-left: 22px;
  235. text-transform: none;
  236. }
  237.  
  238. /* Make search pretty on large screens */
  239. @media screen and (min-width: 1400px) {
  240. #searchGrp {
  241. max-height: 66px;
  242. max-width: 300px;
  243. }
  244. /* darker links against white bg */
  245. #searchGrp a {
  246. color: #6067af;
  247. }
  248. }
  249.  
  250.  
  251. #expires {
  252. position: absolute;
  253. top: 8px;
  254. right: 44px;
  255. color: #f05658;
  256. font-size: small;
  257. }
  258.  
  259. /* Code highlighting */
  260. .code {
  261. color: black;
  262. font-weight: bold;
  263. font-family: 'Courier New';
  264. background-color: #dddeee;
  265. border-left-color: #6067af;
  266. border-left-style: solid;
  267. border-left-width: 3px;
  268. border-radius: 1px;
  269. padding: 1px 2px;
  270. margin-right: 1px;
  271. overflow-x: auto;
  272. }
  273.  
  274. .search {
  275. border-style: none;
  276. }
  277.  
  278.  
  279. /**********************************/
  280. /* Wiki document login/edit forms */
  281. .edit, .login {
  282. background-color: #F0F0F0;
  283. border-radius: 1px;
  284. border: 2px solid #8c8faf;
  285. }
  286.  
  287. /* Buttons for login/edit forms */
  288. .edit .submit,
  289. .login .submit {
  290. font-weight: bold;
  291. background-color: #D0D0D0;
  292. background-image: -moz-linear-gradient(top, #eee, #ccc);
  293. background-image: -webkit-linear-gradient(top, #eee, #ccc);
  294. background-image: linear-gradient(top, #eee, #ccc);
  295. border: 1px solid #777;
  296. border-radius: .3em;
  297. box-shadow: 0 0 1px 1px rgba(255,255,255,.8) inset, 0 1px 0 rgba(0,0,0,.3);
  298. }
  299.  
  300. .edit .submit:hover,
  301. .login .submit:hover {
  302. background-image: -moz-linear-gradient(top, #fafafa, #ddd);
  303. background-image: -webkit-linear-gradient(top, #fafafa, #ddd);
  304. background-image: linear-gradient(top, #fafafa, #ddd);
  305. }
  306.  
  307. .edit .submit:active,
  308. .login .submit:active {
  309. box-shadow: 0 0 4px 2px rgba(0,0,0,.3) inset;
  310. position: relative;
  311. top: 1px;
  312. }
  313.  
  314.  
  315.  
  316. /* From 'form' GUI */
  317. .chart {
  318. width: 100%;
  319. white-space: nowrap;
  320. }
  321.  
  322. .chart td {
  323. background-color: #E0E0E0;
  324. }
  325.  
  326. .chart td.T {
  327. background-color: #D0D0D0;
  328. }
  329.  
  330. .chart td.nil {
  331. background-color: white;
  332. }
  333.  
  334. .btn {
  335. width: 1em;
  336. }
  337.  
  338.  
  339.  
  340. /* Errors */
  341. .error {
  342. color: red;
  343. background-color: yellow;
  344. }
  345.  
  346. .tiny {
  347. font-size: xx-small;
  348. padding: 1px;
  349. }
  350.  
  351. .note, .ask {
  352. font-weight: bold;
  353. }
  354.  
  355. .alert {
  356. display: inline;
  357. padding: 1ex;
  358. margin: 1ex 0 1ex 5em;
  359. background-color: yellow;
  360. border: dashed thin;
  361. }
  362.  
  363. .alert input {
  364. margin-top: 1ex;
  365. }
  366.  
  367. .dialog {
  368. padding: 1ex;
  369. margin: 1ex 5em 1ex 1em;
  370. border: dashed thin;
  371. background-color: #F0F0F0;
  372. }
  373.  
  374. .hint {
  375. font-size: small;
  376. font-family: sans-serif;
  377. line-height: 140%;
  378. background-color: rgba(112,112,112,0.3);
  379. }
  380.  
  381. .hints {
  382. font-size: small;
  383. color: black;
  384. padding-left: 0.4em;
  385. padding-top: 2px;
  386. padding-bottom: 2px;
  387. border: 1px solid;
  388. background-color: white;
  389. cursor: default;
  390. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement