🛠️🐜 Antkeeper superbuild with dependencies included https://antkeeper.com
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

177 lines
3.3 KiB

  1. /* Body and page */
  2. .md-grid {
  3. max-width: 90%;
  4. }
  5. p {
  6. text-align: justify;
  7. }
  8. /* code blocks */
  9. pre.colored {
  10. color: blue;
  11. }
  12. pre>code {
  13. font-family: monospace;
  14. background-color: #D6E8FF;
  15. padding: 2ex 0 2ex 1%;
  16. overflow-x:auto;
  17. }
  18. span.keyword {
  19. font-family: monospace;
  20. text-align: left;
  21. white-space: pre;
  22. color: #d73a49;
  23. }
  24. .md-typeset pre>code {
  25. white-space: pre;
  26. }
  27. /* H4 Heading */
  28. h4 {
  29. background-color: #EEEEFF;
  30. font-size: medium;
  31. font-style: oblique;
  32. font-weight: bold;
  33. padding: 0.3em 0 0.3em 1%;
  34. }
  35. /* Fields table */
  36. table.fields {
  37. width: 90%;
  38. margin: 1.5ex 0 1.5ex 10%;
  39. }
  40. table.fields td.val {
  41. font-weight: bold;
  42. text-align: right;
  43. width: 30%;
  44. vertical-align: baseline;
  45. padding: 1em 1em 0 0;
  46. }
  47. table.fields td.desc {
  48. vertical-align: baseline;
  49. padding: 1ex 0 0 1em;
  50. }
  51. table.fields td.desc p:first-child {
  52. margin: 0;
  53. }
  54. table.fields td.desc p {
  55. margin: 1.5ex 0 0 0;
  56. }
  57. /* Define 'long' tables */
  58. table.long {
  59. display: block;
  60. width: 93%;
  61. }
  62. table.long thead,
  63. table.long tbody,
  64. table.long th,
  65. table.long td,
  66. table.long tr {
  67. display: block;
  68. }
  69. /* Hide table headers (but not display: none;
  70. , for accessibility) */
  71. table.long thead tr {
  72. position: absolute;
  73. top: -9999px;
  74. left: -9999px;
  75. }
  76. table.long tr {
  77. border: 0;
  78. }
  79. table.long {
  80. margin: 1.5ex 3% 1.5ex 3%;
  81. }
  82. table.long td.val {
  83. text-align: left;
  84. }
  85. table.long td {
  86. /* Behave like a "row" */
  87. border: none;
  88. border-bottom: 0;
  89. position: relative;
  90. padding-left: 50%;
  91. }
  92. table.long td:before {
  93. /* Now like a table header */
  94. position: absolute;
  95. /* Top/left values mimic padding */
  96. top: 6px;
  97. left: 6px;
  98. width: 45%;
  99. padding-right: 10px;
  100. white-space: nowrap;
  101. }
  102. /* End 'long' table definition */
  103. /* toc table */
  104. table.toc {
  105. width: 95%;
  106. margin: 1.5ex 0 1.5ex 5%;
  107. }
  108. table.toc td.link {
  109. width: 30%;
  110. text-align: right;
  111. vertical-align: baseline;
  112. padding: 1ex 1em 1ex 0;
  113. }
  114. table.toc td.desc {
  115. vertical-align: baseline;
  116. padding: 1ex 0 1ex 1em;
  117. text-align: left;
  118. }
  119. table.toc td.desc p:first-child {
  120. margin: 0;
  121. text-align: left;
  122. }
  123. table.toc td.desc p {
  124. margin: 1.5ex 0 0 0;
  125. text-align: left;
  126. }
  127. div.timestamp {
  128. font-size: small;
  129. }
  130. /* Change table layout for smaller screens. This query will take effect for any screen smaller than
  131. 760px and also iPads specifically. */
  132. @media only screen and (max-width: 760px), (min-device-width: 768px) and (max-device-width: 1024px) {
  133. /* Force table to not be like tables anymore */
  134. table, thead, tbody, th, td, tr {
  135. display: block;
  136. }
  137. /* Hide table headers (but not display: none;
  138. , for accessibility) */
  139. thead tr {
  140. position: absolute;
  141. top: -9999px;
  142. left: -9999px;
  143. }
  144. tr {
  145. border: 0;
  146. }
  147. table.fields {
  148. width: 93%;
  149. margin: 1.5ex 3% 1.5ex 3%;
  150. }
  151. table.fields td.val {
  152. text-align: left;
  153. }
  154. td {
  155. /* Behave like a "row" */
  156. border: none;
  157. border-bottom: 0;
  158. position: relative;
  159. padding-left: 50%;
  160. }
  161. td:before {
  162. /* Now like a table header */
  163. position: absolute;
  164. /* Top/left values mimic padding */
  165. top: 6px;
  166. left: 6px;
  167. width: 45%;
  168. padding-right: 10px;
  169. white-space: nowrap;
  170. }
  171. }