]> Git — Sourcephile - julm/rezine-rfcs.git/blob - styles/rfc.header.html
repro(nix): update to nixos-24.05
[julm/rezine-rfcs.git] / styles / rfc.header.html
1 <style>
2 body {
3 font-family:sans-serif;
4 font-size:9pt;
5 line-height:1.4;
6 margin:2ex auto;
7 max-width:52em;
8 width:650px;
9 }
10
11 a {
12 color: blue;
13 }
14 a:visited {
15 color: purple;
16 }
17
18 p {
19 text-align:justify;
20 font-size:
21 }
22 header p {
23 text-align:center;
24 }
25 header p.subtitle {
26 font-size:130%;
27 font-weight:bold;
28 }
29
30 #TOC {
31 border:1px solid black;
32 background-color:#FFFFF0;
33 padding:0 1em 0 1em;
34 }
35
36 #TOC a {
37 color:black;
38 }
39
40 table td {
41 vertical-align: top;
42 }
43
44 /* CSS for citations */
45 div.csl-bib-body { }
46 div.csl-entry {
47 clear: both;
48 }
49 .hanging-indent div.csl-entry {
50 margin-left:2em;
51 text-indent:-2em;
52 }
53 div.csl-left-margin {
54 min-width:2em;
55 float:left;
56 }
57 div.csl-right-inline {
58 margin-left:2em;
59 padding-left:1em;
60 }
61 div.csl-indent {
62 margin-left: 2em;
63 }
64
65 div.references {
66 list-style-position:inside;
67 list-style-type:square;
68 }
69 div.references div.csl-entry {
70 display:list-item;
71 }
72
73 /* CSS for block highlights */
74 .admonition {
75 margin-top:1em;
76 }
77 .admonition > .admonition-type {
78 padding-top:1px;
79 padding-left:1em;
80 color:white;
81 font-variant:small-caps;
82 font-weight:bold;
83 }
84 .admonition > .admonition-content {
85 margin:0 1em 0 1em;
86 display:inline-block;
87 }
88
89 .important {
90 /*border-left:1ex solid #FF8080;*/
91 background-color:#FFCACA;
92 }
93 .important > .admonition-type {
94 background-color:#FF0000;
95 }
96
97 .attention {
98 /*border-left:1ex solid #F69400;*/
99 background-color:#FDEFD8;
100 }
101 .attention > .admonition-type {
102 background-color:#F69400;
103 }
104
105 .problem,
106 .solution {
107 /*border-left:1ex solid #008000;*/
108 background-color:#F3FFF3;
109 }
110 .problem > .admonition-type,
111 .solution > .admonition-type {
112 background-color:#008000;
113 }
114
115 .information {
116 background-color:#EAEAF9;
117 }
118 .information > .admonition-type {
119 background-color:#0000FF;
120 }
121 </style>