diff options
Diffstat (limited to 'extras/expat/doc/style.css')
-rw-r--r-- | extras/expat/doc/style.css | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/extras/expat/doc/style.css b/extras/expat/doc/style.css index 664a7bdfb..6f4886077 100644 --- a/extras/expat/doc/style.css +++ b/extras/expat/doc/style.css @@ -2,25 +2,29 @@ body { background-color: white } +.noborder { + border-width: 0px; +} + .eg { padding-left: 1em; padding-top: .5em; + padding-bottom: .5em; border: solid thin; margin: 1em 0; background-color: tan; - margin-left: 5%; + margin-left: 2em; margin-right: 10%; } .handler { width: 100%; border-top-width: thin; - margin-left: 5%; margin-bottom: 1em; } .handler p { - margin-left: 3%; + margin-left: 2em; } .setter { @@ -38,7 +42,7 @@ body { } .fcndef { - margin-left: 5%; + margin-left: 2em; margin-bottom: 2em; } |