diff options
| author | Henrik Nord <[email protected]> | 2011-09-28 15:03:38 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-09-28 15:03:49 +0200 |
| commit | b1736de28b8b4138c7282c780fafd984046dd53e (patch) | |
| tree | 52a18f08e137ca2e2dc0ebea361a879e139a85f0 /lib/eunit/doc/stylesheet.css | |
| parent | ae097a5161b79f16f8b9a2d8f73e5e2f1792edec (diff) | |
| parent | c78dae078936252a605630170b81dcd3e09382fa (diff) | |
| download | otp-b1736de28b8b4138c7282c780fafd984046dd53e.tar.gz otp-b1736de28b8b4138c7282c780fafd984046dd53e.tar.bz2 otp-b1736de28b8b4138c7282c780fafd984046dd53e.zip | |
Merge branch 'rc/eunit-2.2.1' into dev
* rc/eunit-2.2.1:
removed some never-matching clauses reported by dialyzer
updated author e-mails and homepages
removed cvs keywords from files
removed files that should not be checked in
OTP-9591
Diffstat (limited to 'lib/eunit/doc/stylesheet.css')
| -rw-r--r-- | lib/eunit/doc/stylesheet.css | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/lib/eunit/doc/stylesheet.css b/lib/eunit/doc/stylesheet.css deleted file mode 100644 index e426a90483..0000000000 --- a/lib/eunit/doc/stylesheet.css +++ /dev/null @@ -1,55 +0,0 @@ -/* standard EDoc style sheet */ -body { - font-family: Verdana, Arial, Helvetica, sans-serif; - margin-left: .25in; - margin-right: .2in; - margin-top: 0.2in; - margin-bottom: 0.2in; - color: #000000; - background-color: #ffffff; -} -h1,h2 { - margin-left: -0.2in; -} -div.navbar { - background-color: #add8e6; - padding: 0.2em; -} -h2.indextitle { - padding: 0.4em; - background-color: #add8e6; -} -h3.function,h3.typedecl { - background-color: #add8e6; - padding-left: 1em; -} -div.spec { - margin-left: 2em; - background-color: #eeeeee; -} -a.module,a.package { - text-decoration:none -} -a.module:hover,a.package:hover { - background-color: #eeeeee; -} -ul.definitions { - list-style-type: none; -} -ul.index { - list-style-type: none; - background-color: #eeeeee; -} - -/* - * Minor style tweaks - */ -ul { - list-style-type: square; -} -table { - border-collapse: collapse; -} -td { - padding: 3 -} |