More actions
No edit summary |
No edit summary |
||
Line 13: | Line 13: | ||
padding: 2px 4px; | padding: 2px 4px; | ||
font-family: monospace; | font-family: monospace; | ||
display: contents; | |||
} | } |
Revision as of 01:15, 31 March 2025
.lua-type-union {
display: inline-flex;
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;
font-family: monospace;
display: contents;
}