diff options
Diffstat (limited to 'trio/doc/trio.css')
-rw-r--r-- | trio/doc/trio.css | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/trio/doc/trio.css b/trio/doc/trio.css new file mode 100644 index 00000000..1b3a9926 --- /dev/null +++ b/trio/doc/trio.css @@ -0,0 +1,35 @@ +/* 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; +} |