Port c58c00651b to glitch-soc
c58c00651b
@ -420,6 +420,7 @@ code {
border: 1px solid darken($ui-base-color, 14%);
border-radius: 4px;
padding: 10px;
padding-right: 30px;
height: 41px;
}