MediaWiki:Common.css: Difference between revisions

An idea by Jeff Lawlor
Created on 2024-10-08
No edit summary
No edit summary
Line 320: Line 320:
   border: 1px solid var(--is-border-color);
   border: 1px solid var(--is-border-color);
   border-radius: 8px;
   border-radius: 8px;
   padding: 7px;
   padding: 10px;
   box-sizing: border-box;
   box-sizing: border-box;
   margin: 0.5em 0 1.3em 1.4em;
   margin: 0.5em 0 1.3em 1.4em;