@font-face{font-family:"JetBrains Mono";src:url("../assets/fonts/JetBrainsMono-Bold.ttf") format("truetype"), url("../assets/fonts/JetBrainsMono-Bold.woff2") format("woff2");font-weight:bold}@font-face{font-family:"JetBrains Mono";src:url("../assets/fonts/JetBrainsMono-Regular.ttf") format("truetype"), url("../assets/fonts/JetBrainsMono-Regular.woff2") format("woff2");font-weight:normal}html{font-size:10px;overflow:hidden}html,body{margin:0}