diff options
author | Nico Weber <nicolasweber@gmx.de> | 2015-12-29 15:08:42 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2015-12-29 15:08:42 (GMT) |
commit | c2e810ca4314f112cb65fabd35583b10136faea2 (patch) | |
tree | 50d696a9ee2febf5301e35071c418fdf370cfb83 | |
parent | a99dcc914c9f12790ccb774a1e68e97bae7d4b79 (diff) | |
parent | 50a1cc39b731ff144781d7f3020769d7f4c54e28 (diff) | |
download | Ninja-c2e810ca4314f112cb65fabd35583b10136faea2.zip Ninja-c2e810ca4314f112cb65fabd35583b10136faea2.tar.gz Ninja-c2e810ca4314f112cb65fabd35583b10136faea2.tar.bz2 |
Merge pull request #1073 from ninja-build/manual-font
use the default font size for manual headings
-rw-r--r-- | doc/style.css | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/style.css b/doc/style.css index 5d14a1c..9976c03 100644 --- a/doc/style.css +++ b/doc/style.css @@ -24,12 +24,6 @@ div.chapter { margin-top: 4em; border-top: solid 2px black; } -.section .title { - font-size: 1.3em; -} -.section .section .title { - font-size: 1.2em; -} p { margin-top: 0; } |