MediaWiki:Main.css: Difference between revisions

MediaWiki:Main.css (view source)

10 bytes added , 30 October 2022

no edit summary

70,980

edits

@@ Line 729: / Line 729: @@
      padding-top: 0;
      margin-top: 1rem;
-    border: 1px solid var(--border-color);
      margin-left: 0;
      margin-right: 1rem;
      padding: 0!important;
-     max-width: 250px;
+     max-width: 200px;
 }
@@ Line 843: / Line 842: @@
      font-family: 'Familjen Grotesk';
      margin: 0 -1rem 0.5rem -1rem!important;
-     padding: 0.3rem 1.5rem 0.3rem 1.5rem!important;
+     padding: 0.5rem 1.5rem 0.5rem 1.5rem!important;
      background-color: var(--theme-tone-3);
      border: none!important;
@@ Line 851: / Line 850: @@
      border-radius: 5px;
      padding: 0.95rem!important;
+    border: 1px solid var(--border-color)!important;
 }