window.js: Ensure that window_initialize_late_hook is run before other "late" hooks
[conkeror.git] / help / manual.css
blob7dd66e4893456eb57e41b62d3715f845912c104b
1 body {
2 font: 14px sans-serif;
3 color: black;
4 background: #fff;
5 padding: 20px;
8 h1, h2, h3, h4, h5, h6 {
9 font-weight: normal;
12 h1, h2, h3 {
13 margin-bottom: 5px;
16 h1 {
17 font-size: 250%;
20 h2 {
21 font-size: 180%
24 h3 {
25 font-size: 150%;
28 hr {
29 border: 1px solid #888;
30 margin: 20px 0 20px 0;
33 table {
34 border-collapse: collapse;
37 td, th {
38 padding: 2px;
39 border: 1px solid #888;
42 pre, .key {
43 background: #ccc;
44 font-family: "Courier New", Courier, monospace;
47 pre {
48 margin: 5px;
49 padding: 5px;
52 .key {
53 padding-left: 2px;
54 padding-right: 2px;