Njw has submitted this change and it was merged. Change subject: Make menu entries narrower and add line separator ......................................................................
Make menu entries narrower and add line separator Change-Id: I6a34b942874b0815b8fdf54d16357b184139bc03 --- M assets/erudite.css 1 file changed, 7 insertions(+), 1 deletion(-) Approvals: Njw: Verified; Looks good to me, approved diff --git a/assets/erudite.css b/assets/erudite.css index 612769d..d1bfcdf 100644 --- a/assets/erudite.css +++ b/assets/erudite.css @@ -214,7 +214,13 @@ #menu li { display: block; float: left; - margin: 0em 2em 0em 0em; + margin: 0em 0.6em 0em 0em; + padding-right: 0.6em; + border-right: thin solid #666666; +} + +#menu li:last-child { + border-right: none; } /* Footer */ -- To view, visit https://gerrit.wikimedia.org/r/96774 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6a34b942874b0815b8fdf54d16357b184139bc03 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