summaryrefslogtreecommitdiff
path: root/tests/UnitTests/simpletest/docs/en/docs.css
diff options
context:
space:
mode:
authorwei <>2006-07-05 07:45:41 +0000
committerwei <>2006-07-05 07:45:41 +0000
commite7e7c7403b1ffffdf1a7a4bb9e1de752fe1c72db (patch)
tree08ef806c2e72a6d14367797c765d3fb8dfa0a1d6 /tests/UnitTests/simpletest/docs/en/docs.css
parentdfa5aa5fbf11f89ce483c58016465ddc3921f082 (diff)
clean up tests
Diffstat (limited to 'tests/UnitTests/simpletest/docs/en/docs.css')
-rw-r--r--tests/UnitTests/simpletest/docs/en/docs.css84
1 files changed, 0 insertions, 84 deletions
diff --git a/tests/UnitTests/simpletest/docs/en/docs.css b/tests/UnitTests/simpletest/docs/en/docs.css
deleted file mode 100644
index c59b9cd2..00000000
--- a/tests/UnitTests/simpletest/docs/en/docs.css
+++ /dev/null
@@ -1,84 +0,0 @@
-body {
- padding-left: 3%;
- padding-right: 3%;
-}
-pre {
- font-family: courier;
- font-size: 80%;
- border: 1px solid;
- background-color: #cccccc;
- padding: 5px;
- margin-left: 5%;
- margin-right: 8%;
-}
-.code, .new_code, pre.new_code {
- font-weight: bold;
-}
-div.copyright {
- font-size: 80%;
- color: gray;
-}
-div.copyright a {
- color: gray;
-}
-ul.api {
- padding-left: 0em;
- padding-right: 25%;
-}
-ul.api li {
- margin-top: 0.2em;
- margin-bottom: 0.2em;
- list-style: none;
- text-indent: -3em;
- padding-left: 3em;
-}
-div.demo {
- border: 4px ridge;
- border-color: gray;
- padding: 10px;
- margin: 5px;
- margin-left: 20px;
- margin-right: 40px;
- background-color: white;
-}
-div.demo span.fail {
- color: red;
-}
-div.demo span.pass {
- color: green;
-}
-div.demo h1 {
- font-size: 12pt;
- text-align: left;
- font-weight: bold;
-}
-table {
- border: 2px outset;
- border-color: gray;
- background-color: white;
- margin: 5px;
- margin-left: 5%;
- margin-right: 5%;
-}
-td {
- font-size: 80%;
-}
-.shell {
- color: white;
-}
-pre.shell {
- border: 4px ridge;
- border-color: gray;
- padding: 10px;
- margin: 5px;
- margin-left: 20px;
- margin-right: 40px;
- background-color: black;
-}
-form.demo {
- background-color: lightgray;
- border: 4px outset;
- border-color: lightgray;
- padding: 10px;
- margin-right: 40%;
-}