global.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181
  1. /*
  2. * This CSS is released under Creative Commons Zero 1.0 Universal license:
  3. * https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
  4. */
  5. h1,h2,h3,h4{font-weight:normal; font-size:2em}
  6. .specs
  7. {
  8. float: right;
  9. }
  10. :not(p)
  11. {
  12. max-width: 85em;
  13. margin: 0 auto;
  14. }
  15. @media (max-width:90em)
  16. {
  17. html
  18. {
  19. font-size: 1.05em;
  20. }
  21. }
  22. @media (min-width:90em)
  23. {
  24. html
  25. {
  26. font-size: 1.10em;
  27. }
  28. }
  29. @media (min-width:110em)
  30. {
  31. html
  32. {
  33. font-size: 1.15em;
  34. }
  35. }
  36. html
  37. {
  38. /* color: #280b22; */
  39. color: #ede;
  40. background: #280b22;
  41. font-family: sans-serif;
  42. line-height: 1.4;
  43. text-shadow: 1px 1px #000;
  44. }
  45. hr {
  46. color: #666;
  47. }
  48. code,pre, #TOC, a:hover, img
  49. {
  50. background: #4e324e;
  51. border-radius:0.25em;
  52. }
  53. header img
  54. {
  55. background: none;
  56. }
  57. a
  58. {
  59. color: #fcc;
  60. }
  61. img,video,iframe,pre
  62. {
  63. max-width: 100%;
  64. overflow: auto;
  65. }
  66. .title>*, header ul>li, .nav ul>li,
  67. #footer ul>li, .h:hover>*
  68. {
  69. display: inline;
  70. margin: 0.7%;
  71. text-align :center;
  72. }
  73. .title>*, span.date
  74. {
  75. display: block;
  76. }
  77. html, ul, #TOC
  78. {
  79. padding: 1em;
  80. }
  81. .date, .author, .h a
  82. {
  83. display: none;
  84. }
  85. div.title:hover {
  86. cursor: pointer;
  87. }
  88. @media (min-width:60em)
  89. {
  90. .title-logo{display:none; background:none;}
  91. div.title,h1.title {
  92. background:url("/favicon.ico") no-repeat;
  93. background-size:auto 99%;
  94. min-height:2em
  95. }
  96. div.title {background-position:right}
  97. h1.title {padding:0 4em; font-size:2.5em; font-weight:normal;}
  98. #TOC
  99. {
  100. float: left;
  101. margin: 1em;
  102. min-width: 25%;
  103. }
  104. }
  105. h2
  106. {
  107. font-size: 2em;
  108. }
  109. h3
  110. {
  111. font-size: 1.6em;
  112. }
  113. h4
  114. {
  115. font-size:1.2em;
  116. }
  117. .f, .f *
  118. {
  119. position: fixed;
  120. max-width: 100%;
  121. max-height: 100%;
  122. top: 50%;
  123. left: 50%;
  124. }
  125. .f *
  126. {
  127. transform: translate(-50%, -50%);
  128. }
  129. .f
  130. {
  131. display: none;
  132. top: 0;
  133. left: 0;
  134. width: 100%;
  135. height: 100%;
  136. background: rgba(0, 0, 0, 0.8);
  137. }
  138. *:focus + .f
  139. {
  140. display: block;
  141. }
  142. img
  143. {
  144. cursor: pointer;
  145. }
  146. .l,.r {
  147. max-width:25%;
  148. margin:1em;
  149. }
  150. .r {
  151. float: right;
  152. }
  153. .l {
  154. float: left;
  155. }
  156. .p {
  157. max-width: 13em;
  158. }