[MediaWiki-commits] [Gerrit] mediawiki...Vector[master]: Adjust TOC print styles
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373120 ) Change subject: Adjust TOC print styles .. Adjust TOC print styles * Font size shrunk and declared in `pt` * `margin` adjustment * `page-break-before` now uses `avoid` Bug: T173767 Change-Id: Ieeabc22079978cdf1f8484f3ac9961d990901336 --- M print.less 1 file changed, 4 insertions(+), 4 deletions(-) Approvals: jenkins-bot: Verified VolkerE: Looks good to me, approved diff --git a/print.less b/print.less index d770e3f..1957008 100644 --- a/print.less +++ b/print.less @@ -142,8 +142,8 @@ // Using #toc rather than .toc to override default print style #toc { - page-break-before: always; - page-break-after: always; + page-break-before: avoid; + page-break-after: avoid; background: none; border: 0; display: block; @@ -156,7 +156,7 @@ > ul { > li { - margin-bottom: 20px; + margin-bottom: 4px; font-weight: bold; > ul { @@ -184,7 +184,7 @@ li.toclevel-1 { > a { font-weight: bold; - font-size: 16px; + font-size: 10pt; } } -- To view, visit https://gerrit.wikimedia.org/r/373120 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ieeabc22079978cdf1f8484f3ac9961d990901336 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/skins/Vector Gerrit-Branch: master Gerrit-Owner: Jdlrobson Gerrit-Reviewer: VolkerE Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...Vector[master]: Adjust TOC print styles
Jdlrobson has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373120 ) Change subject: Adjust TOC print styles .. Adjust TOC print styles * Font size shrunk and declared in pt * Margin adjustment * page-break-before now uses avoid Bug: T173767 Change-Id: Ieeabc22079978cdf1f8484f3ac9961d990901336 --- M print.less 1 file changed, 4 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/skins/Vector refs/changes/20/373120/1 diff --git a/print.less b/print.less index d770e3f..1957008 100644 --- a/print.less +++ b/print.less @@ -142,8 +142,8 @@ // Using #toc rather than .toc to override default print style #toc { - page-break-before: always; - page-break-after: always; + page-break-before: avoid; + page-break-after: avoid; background: none; border: 0; display: block; @@ -156,7 +156,7 @@ > ul { > li { - margin-bottom: 20px; + margin-bottom: 4px; font-weight: bold; > ul { @@ -184,7 +184,7 @@ li.toclevel-1 { > a { font-weight: bold; - font-size: 16px; + font-size: 10pt; } } -- To view, visit https://gerrit.wikimedia.org/r/373120 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ieeabc22079978cdf1f8484f3ac9961d990901336 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/skins/Vector Gerrit-Branch: master Gerrit-Owner: Jdlrobson ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits