MediaWiki:Main.css: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 729: Line 729:
     padding-top: 0;
     padding-top: 0;
     margin-top: 1rem;
     margin-top: 1rem;
    border: 1px solid var(--border-color);
     margin-left: 0;
     margin-left: 0;
     margin-right: 1rem;
     margin-right: 1rem;
     padding: 0!important;
     padding: 0!important;
     max-width: 250px;
     max-width: 200px;
}
}


Line 843: Line 842:
     font-family: 'Familjen Grotesk';
     font-family: 'Familjen Grotesk';
     margin: 0 -1rem 0.5rem -1rem!important;
     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);
     background-color: var(--theme-tone-3);
     border: none!important;
     border: none!important;
Line 851: Line 850:
     border-radius: 5px;
     border-radius: 5px;
     padding: 0.95rem!important;
     padding: 0.95rem!important;
    border: 1px solid var(--border-color)!important;
}
}