diff options
Diffstat (limited to 'trio/html/trio.css')
-rw-r--r-- | trio/html/trio.css | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/trio/html/trio.css b/trio/html/trio.css deleted file mode 100644 index 1b3a9926..00000000 --- a/trio/html/trio.css +++ /dev/null @@ -1,35 +0,0 @@ -/* HTML tags */ - -BODY { - background-color: white; - color: darkblue; -} - -TD { color: darkblue; } - -H1 { text-align: center; } - -H3 { font-style: italic; } - -HR { - width: 85%; - align: center; -} - -.copyright { color: darkblue; } - -/* Links */ - -:link { color: blue; } - -:visited { color: purple; } - -:active { color: red; } - -.el:link { font-style: italic; } - -/* Examples */ - -DIV.fragment { - color: maroon; -} |