global.css 1.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108
  1. /* This CSS is released under Creative Commons Zero license, version 1.0
  2. which can be found here:
  3. https://creativecommons.org/share-your-work/public-domain/cc0/ */
  4. * {
  5. overflow: visible;
  6. }
  7. html {
  8. background-color: #eee;
  9. background-image:url("diagram.svg");
  10. }
  11. body {
  12. background-color: #fff;
  13. margin: 0 auto;
  14. max-width: 60em;
  15. padding: 0.2em 1em;
  16. box-shadow: 0 0 6px;
  17. }
  18. body {
  19. line-height: 1.6;
  20. font-family: Cantarell, sans-serif;
  21. font-size: 1em;
  22. color: #222;
  23. }
  24. div.warning{background:#fcc;font-size:1.1em;border:solid 1px #666;padding-left:1em;padding-right:1em;}
  25. input,select,option {
  26. width:92%;
  27. text-align:center;
  28. font-size:0.9em;
  29. }
  30. pre {
  31. padding: 0.3em;
  32. }
  33. table {
  34. border-collapse: collapse;
  35. width:100%;
  36. text-align:center;
  37. margin-bottom:1em;
  38. max-width:100%;
  39. }
  40. th{
  41. background:#cdcdcd;
  42. }
  43. th, td {
  44. border: solid 1px #888;
  45. }
  46. tr:nth-child(even) {
  47. background-color: #eee;
  48. }
  49. tr:nth-child(odd) {
  50. background-color: #fff;
  51. }
  52. code, pre {
  53. background-color: #DDD;
  54. }
  55. img {
  56. max-width: 100%;
  57. }
  58. #logo {
  59. height: auto;
  60. float: right;
  61. }
  62. .logoleft {
  63. float: left !important;
  64. }
  65. a {
  66. text-decoration: none;
  67. color: #22D;
  68. }
  69. /* probably generated with autolink_bare_uris extension */
  70. a.uri {
  71. word-wrap: break-word;
  72. }
  73. a:hover {
  74. color: #008;
  75. }
  76. .date {
  77. display: block;
  78. }
  79. .h a {
  80. display: none;
  81. }
  82. .redbutton {
  83. font-size:2em;
  84. font-weight:bold;
  85. background:#900;
  86. color:#fff;
  87. padding:0.5em;
  88. width:50%;
  89. margin-left:25%;
  90. }