From 64288bf11f7ad3e21e0ff8180ef3447ebf3fb9cb Mon Sep 17 00:00:00 2001 From: adam Date: Thu, 10 Apr 2008 09:35:36 -0700 Subject: [PATCH] change visual appearance of links in html darcs-hash:20080410163536-5007d-b8e877ece673eff42b0ad09e713a5d5412f4dffb.gz --- src/Html.lhs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Html.lhs b/src/Html.lhs index 257079e..a6cfeea 100644 --- a/src/Html.lhs +++ b/src/Html.lhs @@ -43,18 +43,18 @@ style = " a:hover { text-decoration: none; border-bottom:1px solid; }\n"++ " table.footer { border-top: silver solid 1px; }\n"++ " span.signature { color: #bbb; }\n"++ - " .signature a:link { color: #bbb; }\n"++ - " .signature a:visited { color: #bbb; }\n"++ + " .signature a:link { color: #aaf; }\n"++ + " .signature a:visited { color: #faa; }\n"++ " .signature a:hover { color: blue; border-bottom: 1px solid blue; }\n"++ " span.highlight { background: yellow; color: black; padding: 3px }\n"++ " div.pre {\n"++ " text-align: left;\n"++ " font-family: monospace;\n"++ - " border-style: solid;\n"++ + " border-style: none;\n"++ " border-width: 2px 2px 2px 2px;\n"++ " border-color: #6666aa;\n"++ " color: #FFFFFF;\n"++ - " background-color: #000000;\n"++ + " background-color: #333333;\n"++ " margin-right: 25px;\n"++ " margin-left: 25px;\n"++ " padding: 10px;\n"++ -- 1.7.10.4