-
Benjamin Otte authored
The same effect can now be achieved via .switch { font-size: smaller; } so there is no need to hardcode things.
82a61069
The same effect can now be achieved via .switch { font-size: smaller; } so there is no need to hardcode things.