More actions
No edit summary |
No edit summary |
||
Line 2: | Line 2: | ||
display: inline-flex; | display: inline-flex; | ||
flex-flow: row nowrap; | flex-flow: row nowrap; | ||
padding: 1px 4px; | |||
gap: 4px; | |||
border-radius: 4px; | |||
border: 1px solid #404040; /* FIXME: theming */ | |||
} | |||
.lua-type-explicit { | |||
border-radius: 4px; | |||
border: 1px solid #404040; /* FIXME: theming */ | |||
padding: 2px 4px; | padding: 2px 4px; | ||
font-family: monospace; | |||
} | } |