@use "./base.scss"; $root-font-size: 18px; $default-font-size: 1rem; $default-line-height: 1.3rem; $header-font-size-base : $default-font-size * 1.2; $header-font-size-h6 : $default-font-size * 1.2; $header-line-height : 120%; $header-font-family: "Noto Sans", "Bahnschrift", "Helvetica Neue", "Helvetica", "Hiragino Sans", "Hiragino Kaku Gothic ProN", "Arial", "Yu Gothic", "Meiryo", sans-serif; $body-font-family: "Noto Serif" , "Times New Roman", "YuMincho", "Hiragino Mincho ProN", "Yu Mincho", "MS PMincho", serif; $pre-font-family: "Noto Mono", monospace; // put your custom CSS here! html { font-size: $root-font-size !important; } h1 { font-size: 1.75rem !important; font-family: $header-font-family !important; font-weight: bold !important; letter-spacing: .1rem !important; margin-top: 0rem; margin-bottom: 0rem; line-height: $header-line-height !important; } li { line-height: $default-line-height; font-size: $default-font-size; } div.left.sidebar { padding-left: 1rem !important; } h2 { font-size: 1rem !important; font-family: $header-font-family !important; font-weight: bold !important; letter-spacing: .1rem !important; line-height: $header-line-height !important; } h3 { font-size: 1rem !important; font-family: $header-font-family !important; font-weight: bold !important; letter-spacing: .1rem !important; line-height: $header-line-height !important; } h4 { font-size: 1rem !important; font-family: $header-font-family !important; letter-spacing: .1rem !important; line-height: $header-line-height !important; } h5 { font-size: 1rem !important; font-family: $header-font-family !important; letter-spacing: .1rem !important; line-height: $header-line-height !important; } h6 { font-size: 1rem !important; font-family: $header-font-family !important; letter-spacing: .1rem !important; line-height: $header-line-height !important; } p { font-size: 1rem; font-family: $body-font-family !important; line-height: $default-line-height; letter-spacing: .025rem !important; margin-left: 1rem !important; } p.content-meta { font-family: sans-serif !important; margin-left: 0 !important; } pre { margin-left: 1rem; font-family: $pre-font-family !important; } code { font-size: 0.8rem !important; font-family: $pre-font-family !important; } a.internal { background-color: transparent !important; } a.tag-link { margin-right: 1rem !important; } .right.sidebar { padding-right: 1rem !important; } .recent-notes>ul.recent-ul>li { font-size: 0.75rem !important; margin: 0 !important; margin-bottom: 0.5rem !important; } .katex { font-family: "Times New Roman" !important; font-size: 1rem !important; font-weight: lighter !important; } .katex-display>.katex { font-weight: lighter !important; font-family: "Times New Roman" !important; display: block; text-align: left !important; margin-left: 3rem !important; white-space: nowrap; }