Javi Martín 27d9859674 Remove unnecessary styles in top bar ...

Not sure why these properties were added, but they no longer seem to be
necessary.

2023-02-16 17:24:34 +01:00

..

account_menu.scss

Remove unnecessary styles in top bar

2023-02-16 17:24:34 +01:00

admin_header.scss

Remove unnecessary styles in top bar

2023-02-16 17:24:34 +01:00

locale_switcher.scss

Use color-pick-contrast to get text colors

2022-10-28 13:58:04 +02:00

remote_translations_button.scss

Simplify styles for the remote translations button

2023-02-16 17:24:34 +01:00

social.scss

Rename brand-text mixin to brand-color

2022-11-20 00:29:12 +01:00

subnavigation.scss

Fix menu on "wide" small screens

2023-02-16 17:24:34 +01:00