/* The light/dark switch (public/theme.js): the same small round button in every top bar. */
.theme-toggle { width: 38px; height: 38px; flex: none; display: inline-grid; place-items: center; padding: 0; border-radius: 10px; border: 1px solid rgba(127, 135, 133, .38); background: transparent; color: inherit; cursor: pointer; transition: border-color .15s ease, background-color .15s ease, transform .08s ease; }
.theme-toggle:hover { border-color: rgba(127, 135, 133, .75); background-color: rgba(127, 135, 133, .1); }
.theme-toggle:active { transform: translateY(1px); }
.theme-toggle:focus-visible { outline: 2px solid #f5a524; outline-offset: 2px; }
.theme-toggle svg { width: 18px; height: 18px; fill: none; stroke: currentColor; stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; }
.theme-toggle:empty::before { content: ''; width: 16px; height: 16px; border-radius: 50%; border: 2px solid currentColor; }