From ec4858bcbd77c9936c324fe9860fc653c2030684 Mon Sep 17 00:00:00 2001 From: Dmitry Sharshakov Date: Sat, 26 Jan 2019 18:24:02 +0300 Subject: [PATCH] Make links and badges look better (#1588) --- website/index.html | 4 ++-- website/style.css | 17 +++++++++++++---- 2 files changed, 15 insertions(+), 6 deletions(-) diff --git a/website/index.html b/website/index.html index 036d2f01d7..fb47d53e3c 100644 --- a/website/index.html +++ b/website/index.html @@ -20,10 +20,10 @@ - + - + diff --git a/website/style.css b/website/style.css index c5626fb4b2..d3bb3261d5 100644 --- a/website/style.css +++ b/website/style.css @@ -18,6 +18,19 @@ svg { a { color: #333; } +a:hover { + color: #488; +} + +a.badge { + display: inline-block; + border-radius: 2px; + height: 20px; + transition: .3s box-shadow; +} +a.badge:hover { + box-shadow: 0 0 5px 0 #333; +} pre { background: #ddd; @@ -26,10 +39,6 @@ pre { overflow-x: auto; } -a:hover { - background: #aee; -} - table { border-collapse: collapse; border-spacing: 0;