From 72f655f5a4429403674521d251e6cccf62d76747 Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Tue, 11 Mar 2014 07:21:03 +0100 Subject: Update appearance of fixity annotations This moves them in-line with their corresponding lines, similar to a presentation envision by @hvr and described in #ghc. Redundant operator names are also omitted when no ambiguity is present. --- resources/html/Ocean.std-theme/ocean.css | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'resources/html') diff --git a/resources/html/Ocean.std-theme/ocean.css b/resources/html/Ocean.std-theme/ocean.css index 3d81c3ca..ff4d1b53 100644 --- a/resources/html/Ocean.std-theme/ocean.css +++ b/resources/html/Ocean.std-theme/ocean.css @@ -378,6 +378,19 @@ div#style-menu-holder { margin: 0 -0.5em 0 0.5em; } +#interface span.fixity { + color: #919191; + border-left: 1px solid #919191; + padding: 0.2em 0.5em 0.2em 0.5em; + margin: 0 -1em 0 1em; +} + +#interface span.rightedge { + border-left: 1px solid #919191; + padding: 0.2em 0 0.2em 0; + margin: 0 0 0 1em; +} + #interface table { border-spacing: 2px; } #interface td { vertical-align: top; -- cgit v1.2.3