#icon-sun,
#icon-moon {
    display: none;
}
html[theme='light'] #icon-sun {
    display: inline-block;
}
html[theme='dark'] #icon-moon {
    display: inline-block;
}
.logic-outline {
    color: transparent;
    -webkit-text-stroke: 1px var(--zx-green3);
}
body {
    background: var(--zx-bg);
    color: var(--zx-fg);
}
header:hover {
    box-shadow: 0 0 12px var(--zx-green3);
    transition: box-shadow 0.3s ease;
}
html.loading body {
    display: none;
}
#lang-button {
  will-change: background-color;
}