blob: 0fe08b83cb4df83c71701f21999e6f4824cd6f64 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
/* Style-sheet to use for manuals (copied from Emacs) */
@import url('style.css');
/* makeinfo 6.5 converts @quotation to <blockquote>. Highlight them. */
blockquote {
font-style: normal;
border-left: solid 10px red;
padding-left: 2.5%;
margin-left: 0px;
}
var { font-style: italic; }
/* Lay out @lisp just like @example. Copied from what /style.css
does for the 'example' class. */
div.lisp { padding: .8em 1.2em .4em; }
pre.lisp { padding: .8em 1.2em; }
div.lisp, pre.lisp {
margin: 1em 0 1em 3% ;
-webkit-border-radius: .3em;
-moz-border-radius: .3em;
border-radius: .3em;
border: 1px solid #d4cbb6;
background-color: #f2efe4;
}
div.lisp > pre.lisp {
padding: 0 0 .4em;
margin: 0;
border: none;
}
/* ----- coreutils specific styling ----- */
/* layout.css indents "body p" when it should probably only indent "body > p"?
In any case, disable indenting of p in these sub elements. */
dd p,li p {
margin-left: 0;
margin-right: 0;
}
/* underlined links are distracting, especially within outlined tables. */
a { /*add :link for external links*/
text-decoration: none; /* don't underline links by default */
outline-style: none; /* don't put dotted box around clicked links */
}
a:hover {
text-decoration: underline;
}
/* The shadow around the body is distracting. */
body { box-shadow: 0 0 0 0; }
|