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