.bg-header[data-v-da5789b0]{background-color:var(--panel-2)!important;border-bottom:1px solid var(--rule-md);color:var(--fg)}.jp-app-name[data-v-da5789b0]{font-family:var(--serif);font-size:1.4rem;font-weight:400;letter-spacing:.5px;color:var(--fg);text-decoration:none}.jp-lang-btn[data-v-da5789b0]{border-radius:20px}