diff options
Diffstat (limited to 'doc/tutorial/manual.css')
| -rw-r--r-- | doc/tutorial/manual.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/manual.css b/doc/tutorial/manual.css index 404525dc2..0fe08b83c 100644 --- a/doc/tutorial/manual.css +++ b/doc/tutorial/manual.css | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | /* Style-sheet to use for manuals (copied from Emacs) */ | 1 | /* Style-sheet to use for manuals (copied from Emacs) */ |
| 2 | 2 | ||
| 3 | @import url('/style.css'); | 3 | @import url('style.css'); |
| 4 | 4 | ||
| 5 | /* makeinfo 6.5 converts @quotation to <blockquote>. Highlight them. */ | 5 | /* makeinfo 6.5 converts @quotation to <blockquote>. Highlight them. */ |
| 6 | blockquote { | 6 | blockquote { |