From 75f6a96caaefe18189001313b61e5f074e26bb97 Mon Sep 17 00:00:00 2001 From: Alan Garny Date: Mon, 25 Nov 2019 14:23:44 +1300 Subject: [PATCH] Some minor cleaning up. --- doc/res/stylesheet.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/res/stylesheet.css b/doc/res/stylesheet.css index 010b556aa0..d0f99b6923 100644 --- a/doc/res/stylesheet.css +++ b/doc/res/stylesheet.css @@ -63,7 +63,7 @@ div.copyright div.right { } div.copyright div a.copyright:hover { - margin: 0 + margin: 0; border: 0; background: none; }