From fda5851e7c76853f29638eff9bb5c34a044b9cc5 Mon Sep 17 00:00:00 2001 From: Philipp Oppermann Date: Thu, 28 Jul 2016 19:45:35 +0200 Subject: [PATCH] Fade out ToC when it's not hovered --- static/css/main.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/static/css/main.css b/static/css/main.css index 8f1fd406..e554c124 100644 --- a/static/css/main.css +++ b/static/css/main.css @@ -128,6 +128,12 @@ aside#toc { margin-left: -15rem; font-size: 90%; line-height: 1.2; + opacity: .2; + transition: opacity .5s; + } + + aside#toc:hover { + opacity: 1; } aside#toc h2 {