Njw has submitted this change and it was merged. Change subject: Don't hide table of contents and format it neatly ......................................................................
Don't hide table of contents and format it neatly TOC hiding shoudn't be done in a skin, but rather as described at https://www.mediawiki.org/wiki/Toc Change-Id: Ieafc8068bccfeee011bb5e95a00d1d322d984bba --- M assets/erudite.css 1 file changed, 30 insertions(+), 4 deletions(-) Approvals: Njw: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/assets/erudite.css b/assets/erudite.css index aa2c382..da92048 100644 --- a/assets/erudite.css +++ b/assets/erudite.css @@ -277,12 +277,16 @@ } p, -li, dt, dd, blockquote, center { margin-bottom: 0.75em; +} + +li { + margin-bottom: 0.375em; + margin-top: 0.375em; } table { @@ -355,10 +359,32 @@ font-size: 0.75em; } -.toc, -#toc { - display: none; +.toc tbody, +#toc tbody { + border: thin solid #aaa; } + +.toc li, +#toc li { + list-style: none; +} + +.toc #toctitle, +#toc #toctitle { + text-align: center; +} + +.toc h2, +#toc h2 { + margin-top: 0em; + display: inline; +} + +.toc td, +#toc td { + padding: 0.25em 1em; +} + .subtitle { margin-bottom: 1em; font-size: 0.875em; -- To view, visit https://gerrit.wikimedia.org/r/92297 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ieafc8068bccfeee011bb5e95a00d1d322d984bba Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/skins/erudite Gerrit-Branch: master Gerrit-Owner: Njw <nick.wh...@durham.ac.uk> Gerrit-Reviewer: Njw <nick.wh...@durham.ac.uk> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
