sourcephile
/
git
/
doclang.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6ac7a7b
)
Fix CSS titles and pages.
author
Julien Moutinho
<julm+hdoc@autogeree.net>
Fri, 11 May 2018 17:16:34 +0000
(19:16 +0200)
committer
Julien Moutinho
<julm+hdoc@autogeree.net>
Fri, 11 May 2018 17:25:32 +0000
(19:25 +0200)
style/dtc-html5.css
patch
|
blob
|
history
diff --git
a/style/dtc-html5.css
b/style/dtc-html5.css
index 0deb37b37dc963cbd557eff2ffabdfcda95eb95a..79a8b9fafbd7d59702f3ae1fbd0a4b5a53f7582a 100644
(file)
--- a/
style/dtc-html5.css
+++ b/
style/dtc-html5.css
@@
-253,12
+253,12
@@
line-height:18pt;
}
.section .section-header {
- font-size:1
15
%;
+ font-size:1
30
%;
line-height:21pt;
margin-top:2ex;
}
.section .section .section-header {
- font-size:1
15
%;
+ font-size:1
20
%;
line-height:15pt;
margin-top:2ex;
}
@@
-329,6
+329,9
@@
.figure {
margin-top:1.5ex;
margin-bottom:1.5ex;
+ page-break-before:auto;
+ page-break-inside:avoid;
+ page-break-after:auto;
}
.section-header + .figure,
.figure:first-child {