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, 0 insertions, 47 deletions
diff --git a/Build/source/extra/expat/doc/style.css b/Build/source/extra/expat/doc/style.css deleted file mode 100644 index 343e974dba5..00000000000 --- a/Build/source/extra/expat/doc/style.css +++ /dev/null @@ -1,47 +0,0 @@ -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 |