nasmdoc.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151
  1. body {
  2. font-family: "source sans pro", "clear sans", "liberation sans",
  3. "arial", "sans-serif";
  4. background: white;
  5. }
  6. div.title {
  7. text-align: center;
  8. font-weight: bold;
  9. margin: 0.67em 0;
  10. }
  11. h1 {
  12. font-size: 2em;
  13. margin: 0;
  14. }
  15. span.subtitle {
  16. font-size: 1.25em;
  17. font-style: italic;
  18. }
  19. code, pre {
  20. font-family: "source code pro", "liberation mono", "monospace";
  21. }
  22. pre, blockquote {
  23. margin-left: 4em;
  24. margin-right: 4em;
  25. }
  26. code {
  27. display: inline;
  28. white-space: nowrap;
  29. }
  30. a {
  31. text-decoration: none;
  32. }
  33. div.toc {
  34. padding-left: 0;
  35. font-size: 195%;
  36. }
  37. div.toc li {
  38. list-style-type: none;
  39. padding-left: 0;
  40. }
  41. div.toc ol {
  42. padding-left: 2em;
  43. font-size: 80%;
  44. }
  45. li.toc1 {
  46. padding-top: 0.7em;
  47. }
  48. li.toc2 {
  49. padding-top: 0.3em;
  50. }
  51. ul.index {
  52. list-style-type: none;
  53. }
  54. @media not screen {
  55. ul.navbar {
  56. display: none;
  57. }
  58. }
  59. @media print {
  60. a {
  61. color: inherit;
  62. }
  63. }
  64. @media only screen {
  65. div.contents {
  66. -webkit-column-gap: 4em;
  67. -webkit-column-rule: 1px dotted black;
  68. -moz-column-gap: 4em;
  69. -moz-column-rule: 1px dotted black;
  70. column-gap: 4em;
  71. column-rule: 1px dotted black;
  72. }
  73. }
  74. @media only screen and (min-width: 90em) {
  75. /* For a very wide screen, go to a columnar layout */
  76. div.contents {
  77. -webkit-column-count: 2;
  78. -moz-column-count: 2;
  79. column-count: 2;
  80. }
  81. }
  82. @media only screen and (min-width: 135em) {
  83. div.contents {
  84. -webkit-column-count: 3;
  85. -moz-column-count: 3;
  86. column-count: 3;
  87. }
  88. }
  89. @media screen {
  90. /* Setting an explicit margin to keep the navbar from moving */
  91. body {
  92. padding: 0;
  93. margin: 8px;
  94. }
  95. /* Link styles */
  96. a:link {
  97. color: #33c;
  98. }
  99. a:visited {
  100. color: #338;
  101. }
  102. a:hover {
  103. background: #ccc;
  104. }
  105. a:active {
  106. color: #f33;
  107. background: #ccc;
  108. }
  109. /* Trick to avoid the navbar hiding the the target of an # link */
  110. :target {
  111. margin-top: -10vh;
  112. padding-top: 10vh;
  113. background: #ffa; /* Highlight the jump target */
  114. background-clip: content-box;
  115. }
  116. ul.navbar {
  117. display: block;
  118. position: sticky;
  119. top: 8px;
  120. width: 100%;
  121. margin: 0;
  122. padding: 0;
  123. overflow: hidden;
  124. white-space: nowrap;
  125. list-style-type: none;
  126. background: #336 url("nasmlogw.png") no-repeat right center;
  127. background-size: contain;
  128. }
  129. ul.navbar li {
  130. float: left;
  131. }
  132. ul.navbar li.last {
  133. border-right: none;
  134. }
  135. ul.navbar a {
  136. border-right: 1px solid #bbb;
  137. display: block;
  138. color: white;
  139. text-align: center;
  140. padding: 1em 1.5em;
  141. text-decoration: none;
  142. }
  143. ul.navbar a:hover {
  144. background-color: #448;
  145. }
  146. }