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 1px;
    gap: 4px;
    border-radius: 4px;
    border: 1px solid #404040; /* FIXME: theming */
}

.lua-type-explicit {
    font-family: monospace;
    display: contents;
}
.lua-type-explicit > .external::after {
    display: none;
}
.lua-type-explicit > a {
    border-radius: 4px;
    border: 1px solid #404040; /* FIXME: theming */
    padding: 2px 4px;
}