reactos/ninja
1
0
Fork 0
mirror of https://github.com/reactos/ninja.git synced 2024-11-23 11:49:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #1073 from ninja-build/manual-font

Browse Source 
use the default font size for manual headings
This commit is contained in:
Nico Weber 2015-12-29 10:08:42 -05:00
commit c2e810ca43
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/style.css
View File

@ -24,12 +24,6 @@ div.chapter {
margin-top: 4em; margin-top: 4em;
border-top: solid 2px black; border-top: solid 2px black;
} }
.section .title {
font-size: 1.3em;
}
.section .section .title {
font-size: 1.2em;
}
p { p {
margin-top: 0; margin-top: 0;
} }