doc: add the version number to the HTML output
[nasm.git] / doc / nasmdoc.css
blobaf095273df122b8a3bb8a84d035759759751f0b0
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";
22 pre, blockquote {
23 margin-left: 4em;
24 margin-right: 4em;
26 code {
27 display: inline;
28 white-space: nowrap;
30 a {
31 text-decoration: none;
33 div.toc {
34 padding-left: 0;
35 font-size: 195%;
37 div.toc li {
38 list-style-type: none;
39 padding-left: 0;
41 div.toc ol {
42 padding-left: 2em;
43 font-size: 80%;
45 li.toc1 {
46 padding-top: 0.7em;
48 li.toc2 {
49 padding-top: 0.3em;
51 ul.index {
52 list-style-type: none;
54 @media not screen {
55 ul.navbar {
56 display: none;
59 @media print {
60 a {
61 color: inherit;
64 @media screen {
65 /* Setting an explicit margin to keep the navbar from moving */
66 body {
67 padding: 0;
68 margin: 10px;
71 /* Link styles */
72 a:link {
73 color: #33c;
75 a:visited {
76 color: #338;
78 a:hover {
79 background: #ccc;
81 a:active {
82 color: #f33;
83 background: #ccc;
86 /* Trick to avoid the navbar hiding the the target of an # link */
87 :target {
88 margin-top: -10vh;
89 padding-top: 10vh;
90 background: #ffa; /* Highlight the jump target */
91 background-clip: content-box;
94 ul.navbar {
95 display: block;
96 position: sticky;
97 top: 10px;
98 width: 100%;
99 margin: 0;
100 padding: 0;
101 overflow: hidden;
102 white-space: nowrap;
103 list-style-type: none;
104 background: #336 url("nasmlogw.png") no-repeat right center;
105 background-size: contain;
108 ul.navbar li {
109 float: left;
111 ul.navbar li.last {
112 border-right: none;
114 ul.navbar a {
115 border-right: 1px solid #bbb;
116 display: block;
117 color: white;
118 text-align: center;
119 padding: 1em 1.5em;
120 text-decoration: none;
122 ul.navbar a:hover {
123 background-color: #448;