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