diff options
Diffstat (limited to 'Build/source/extra/expat/doc/style.css')
-rw-r--r-- | Build/source/extra/expat/doc/style.css | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/Build/source/extra/expat/doc/style.css b/Build/source/extra/expat/doc/style.css new file mode 100644 index 00000000000..343e974dba5 --- /dev/null +++ b/Build/source/extra/expat/doc/style.css @@ -0,0 +1,47 @@ +body { +background-color: white +} + +.eg { + padding-left: 1em; + padding-top: .5em; + border: solid thin; + margin: 1em 0; + background-color: tan; + margin-left: 5%; + margin-right: 10%; +} + +.handler { + width: 100%; + border-top-width: thin; + margin-left: 5%; + margin-bottom: 1em; +} + +.handler p { + margin-left: 3%; +} + +.setter { + font-weight: bold; +} + +.signature { + color: navy; +} + +.fcndec { + width: 100%; + border-top-width: thin; + font-weight: bold; +} + +.fcndef { + margin-left: 5%; + margin-bottom: 2em; +} + +dd { +margin-bottom: 2em; +}
\ No newline at end of file |