Toggle menu
Toggle personal menu
Not logged in
Your IP address will be publicly visible if you make any edits.
.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;
}