From a23f3a24b3068f864004017d9b865e00186754c2 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Thu, 11 Aug 2016 11:57:20 +0200 Subject: [PATCH] scroll.js: Use window.inner{Width,Height} It seems with document.documentElement.client{Height,Width} we sometimes (e.g. without