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