diff options
| author | wei <> | 2006-07-05 07:45:41 +0000 |
|---|---|---|
| committer | wei <> | 2006-07-05 07:45:41 +0000 |
| commit | e7e7c7403b1ffffdf1a7a4bb9e1de752fe1c72db (patch) | |
| tree | 08ef806c2e72a6d14367797c765d3fb8dfa0a1d6 /tests/UnitTests/simpletest/docs/en/docs.css | |
| parent | dfa5aa5fbf11f89ce483c58016465ddc3921f082 (diff) | |
clean up tests
Diffstat (limited to 'tests/UnitTests/simpletest/docs/en/docs.css')
| -rw-r--r-- | tests/UnitTests/simpletest/docs/en/docs.css | 84 |
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%;
-}
|