From 321037f1c549f38250f39ccb68b47b7cc7d06e01 Mon Sep 17 00:00:00 2001
From: Isarra <zhorishna@gmail.com>
Date: Wed, 4 Sep 2019 21:28:17 +0000
Subject: [PATCH] Increase filetoc contrast, make it stand out more

Why were we even killing the border to begin with?

Change-Id: I963f41c245f5911ddd7d8ddc5888402dee20fc57
---
 resources/screen-common.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/screen-common.less b/resources/screen-common.less
index 353b0ea..748da74 100644
--- a/resources/screen-common.less
+++ b/resources/screen-common.less
@@ -631,7 +631,7 @@ ul#filetoc,
 
 ul#filetoc {
 	display: block;
-	border: 0;
+	margin-bottom: 2em;
 }
 
 .mw-body .toctitle {