##// END OF EJS Templates
doc: uppercase first letter in HTML man pages
Martin Geisler -
r9798:1ca63142 default
parent child Browse files
Show More
@@ -47,6 +47,9 b' h1.title { font-size: 300%; }'
47 h2.subtitle, h1 { font-size: 200%; }
47 h2.subtitle, h1 { font-size: 200%; }
48 h2, .topic-title, .admonition-title { font-size: 140%; }
48 h2, .topic-title, .admonition-title { font-size: 140%; }
49
49
50 /* subtitle starts with lowercase in man pages, but not in HTML */
51 h2.subtitle:first-letter { text-transform: uppercase; }
52
50 /* override first/last margin */
53 /* override first/last margin */
51 .first, h1.title, h2.subtitle { margin-top: 0 !important; }
54 .first, h1.title, h2.subtitle { margin-top: 0 !important; }
52 .last, .with-subtitle { margin-bottom: 0 !important; }
55 .last, .with-subtitle { margin-bottom: 0 !important; }
General Comments 0
You need to be logged in to leave comments. Login now