Increase filetoc contrast, make it stand out more

Why were we even killing the border to begin with? Change-Id: I963f41c245f5911ddd7d8ddc5888402dee20fc57
5 years ago · 321037f1c5
parent 3cf24fa8ab
commit 321037f1c5
1 changed files with 1 additions and 1 deletions
--- 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 {