+
+/**
+ * Remove CSS target padding (for fixed bar)
+ */
+var anchor = document.querySelector('.anchor:target');
+if (anchor != null) {
+ var padsize = anchor.clientHeight;
+ this.window.scroll(0, this.window.scrollY - padsize);
+ anchor.style.paddingTop = 0;
+}