Skip to content

Instantly share code, notes, and snippets.

@LukeNewNew
Last active May 30, 2025 06:19
Show Gist options
  • Save LukeNewNew/c40906887933cc906742fd976b027627 to your computer and use it in GitHub Desktop.
Save LukeNewNew/c40906887933cc906742fd976b027627 to your computer and use it in GitHub Desktop.
:root {
--tab-min-height: 28px !important;
}
@charset "UTF-8";
html, body, :root, :host, [lang]:lang(ja), [lang]:lang(ko), [lang]:lang(zh) {
font-family: Roboto, Segoe UI, sans-serif;
}
*, div, [class], [style], [id] {
&, &::before, &::after {
backdrop-filter: revert !important
}
}
@media (prefers-color-scheme: light) {
::selection {
color: unset;
background-color: rgba(138, 196, 255, 0.7) !important;
}
}
@media (prefers-color-scheme: dark) {
::selection {
color: unset;
background-color: rgba(41, 100, 159, 0.7) !important;
}
}
@-moz-document domain("bing.com"), domain("x.com"), domain("poe.com"), domain("wiktionary.org") {
:not(.katex:has(.katex-html), .katex:has(.katex-html) *, math, math *, pre, pre *, code, code *) {
font-family: Roboto, sans-serif !important;
}
pre, pre *, code, code * {
font-family: Consolas, monospace, sans-serif;
}
}
@font-face {
font-family: "Times New Roman";
src: local("Georgia");
}
@font-face {
font-family: "Courier";
src: local("Consolas");
}
@font-face {
font-family: "Courier New";
src: local("Consolas");
}
@font-face {
font-family: "Helvetica";
font-style: italic;
font-weight: 300;
src: local("Roboto Light Italic"), local("Roboto-LightItalic");
}
@font-face {
font-family: "Helvetica";
font-style: italic;
font-weight: 400;
src: local("Roboto Italic"), local("Roboto-Italic");
}
@font-face {
font-family: "Helvetica";
font-style: italic;
font-weight: 500;
src: local("Roboto Medium Italic"), local("Roboto-MediumItalic");
}
@font-face {
font-family: "Helvetica";
font-style: italic;
font-weight: 700;
src: local("Roboto Bold Italic"), local("Roboto-BoldItalic");
}
@font-face {
font-family: "Helvetica";
font-style: italic;
font-weight: 900;
src: local("Roboto Black Italic"), local("Roboto-BlackItalic");
}
@font-face {
font-family: "Helvetica";
font-style: normal;
font-weight: 300;
src: local("Roboto Light"), local("Roboto-Light");
}
@font-face {
font-family: "Helvetica";
font-style: normal;
font-weight: 400;
src: local("Roboto"), local("Roboto-Regular");
}
@font-face {
font-family: "Helvetica";
font-style: normal;
font-weight: 500;
src: local("Roboto Medium"), local("Roboto-Medium");
}
@font-face {
font-family: "Helvetica";
font-style: normal;
font-weight: 700;
src: local("Roboto Bold"), local("Roboto-Bold");
}
@font-face {
font-family: "Helvetica";
font-style: normal;
font-weight: 900;
src: local("Roboto Black"), local("Roboto-Black");
}
@font-face {
font-family: "Arial";
font-style: italic;
font-weight: 300;
src: local("Roboto Light Italic"), local("Roboto-LightItalic");
}
@font-face {
font-family: "Arial";
font-style: italic;
font-weight: 400;
src: local("Roboto Italic"), local("Roboto-Italic");
}
@font-face {
font-family: "Arial";
font-style: italic;
font-weight: 500;
src: local("Roboto Medium Italic"), local("Roboto-MediumItalic");
}
@font-face {
font-family: "Arial";
font-style: italic;
font-weight: 700;
src: local("Roboto Bold Italic"), local("Roboto-BoldItalic");
}
@font-face {
font-family: "Arial";
font-style: italic;
font-weight: 900;
src: local("Roboto Black Italic"), local("Roboto-BlackItalic");
}
@font-face {
font-family: "Arial";
font-style: normal;
font-weight: 300;
src: local("Roboto Light"), local("Roboto-Light");
}
@font-face {
font-family: "Arial";
font-style: normal;
font-weight: 400;
src: local("Roboto"), local("Roboto-Regular");
}
@font-face {
font-family: "Arial";
font-style: normal;
font-weight: 500;
src: local("Roboto Medium"), local("Roboto-Medium");
}
@font-face {
font-family: "Arial";
font-style: normal;
font-weight: 700;
src: local("Roboto Bold"), local("Roboto-Bold");
}
@font-face {
font-family: "Arial";
font-style: normal;
font-weight: 900;
src: local("Roboto Black"), local("Roboto-Black");
}
@font-face {
font-family: "Roboto";
font-style: italic;
font-weight: 300;
src: local("Roboto Light Italic"), local("Roboto-LightItalic");
}
@font-face {
font-family: "Roboto";
font-style: italic;
font-weight: 400;
src: local("Roboto Italic"), local("Roboto-Italic");
}
@font-face {
font-family: "Roboto";
font-style: italic;
font-weight: 500;
src: local("Roboto Medium Italic"), local("Roboto-MediumItalic");
}
@font-face {
font-family: "Roboto";
font-style: italic;
font-weight: 700;
src: local("Roboto Bold Italic"), local("Roboto-BoldItalic");
}
@font-face {
font-family: "Roboto";
font-style: italic;
font-weight: 900;
src: local("Roboto Black Italic"), local("Roboto-BlackItalic");
}
@font-face {
font-family: "Roboto";
font-style: normal;
font-weight: 300;
src: local("Roboto Light"), local("Roboto-Light");
}
@font-face {
font-family: "Roboto";
font-style: normal;
font-weight: 400;
src: local("Roboto"), local("Roboto-Regular");
}
@font-face {
font-family: "Roboto";
font-style: normal;
font-weight: 500;
src: local("Roboto Medium"), local("Roboto-Medium");
}
@font-face {
font-family: "Roboto";
font-style: normal;
font-weight: 700;
src: local("Roboto Bold"), local("Roboto-Bold");
}
@font-face {
font-family: "Roboto";
font-style: normal;
font-weight: 900;
src: local("Roboto Black"), local("Roboto-Black");
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment