From 7055a87048d4f5739486850bf1292c80ae5dd52a Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 5 Oct 2015 18:54:18 +0200 Subject: [PATCH] Pointer cursor on errors and warnings. --- stylesheets/browser-solidity.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/stylesheets/browser-solidity.css b/stylesheets/browser-solidity.css index ed1048dbbc..63a649241c 100644 --- a/stylesheets/browser-solidity.css +++ b/stylesheets/browser-solidity.css @@ -218,6 +218,7 @@ body { border-radius: 0; word-wrap: break-word; border: 1px solid #D00909; + cursor: pointer; } .warning { @@ -225,6 +226,7 @@ body { border-radius: 0; word-wrap: break-word; border: 1px solid #BBB427; + cursor: pointer; } #ghostbar {