wroclaw-git-backups/nix
1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-27 16:51:15 +02:00
Code Activity

Browse source
This commit is contained in:
Eelco Dolstra 2007-10-24 13:54:06 +00:00
parent d423968ba1
commit cd08fb3fde
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
doc/manual/style.css
View file

@ -46,6 +46,11 @@ h3 /* subsections */
font-size: 125%; font-size: 125%;
} }
div.simplesect h2
{
font-size: 110%;
}
div.appendix h3 div.appendix h3
{ {
font-size: 150%; font-size: 150%;