MediaWiki:Common.css: Difference between revisions

Content deleted Content added
No edit summary
No edit summary
Line 1,850:
border-bottom: 1px solid var(--line-light) !important; /* = the table header-row divider */
padding-top: 0.35rem;
padding-bottom: calc(0.95rem - 2px3px); /* -2px: measuredcalibrated against the title rule:
(titleRuleY-2px measured (157 vs tocRuleY 159), then */-1px
user fine-tune */
margin-bottom: 0.9rem;
padding-left: 0 !important;