Brunobkr/llama.cpp_AlgMor24_github

1@use "sass:list";2 3$font-folder: "../../fonts" !default;4$use-woff2: true !default;5$use-woff: true !default;6$use-ttf: true !default;7$font-display: block !default;8 9@function generate-src($family, $family-suffix) {10    $src: null;11    @if $use-woff2 {12        $src: list.append($src, url('#{$font-folder}/KaTeX_#{$family}-#{$family-suffix}.woff2') format('woff2'), comma);13    }14    @if $use-woff {15        $src: list.append($src, url('#{$font-folder}/KaTeX_#{$family}-#{$family-suffix}.woff') format('woff'), comma);16    }17    @if $use-ttf {18        $src: list.append($src, url('#{$font-folder}/KaTeX_#{$family}-#{$family-suffix}.ttf') format('truetype'), comma);19    }20 21    @return $src;22}23 24@function generate-suffix($weight, $style) {25    $suffix: null;26 27    @if $weight == normal and $style == normal {28        $suffix: 'Regular';29    }30    @if $weight == normal and $style == italic {31        $suffix: 'Italic';32    }33    @if $weight == bold and $style == normal {34        $suffix: 'Bold';35    }36    @if $weight == bold and $style == italic {37        $suffix: 'BoldItalic';38    }39 40    @return $suffix;41}42 43@mixin font-face($family, $weight, $style) {44    $suffix: generate-suffix($weight, $style);45    $src: generate-src($family, $suffix);46 47    @font-face {48        font-family: 'KaTeX_#{$family}';49        src: $src;50        font-weight: $weight;51        font-style: $style;52        font-display: $font-display;53    }54}55 56@include font-face('AMS', normal, normal);57@include font-face('Caligraphic', bold, normal);58@include font-face('Caligraphic', normal, normal);59@include font-face('Fraktur', bold, normal);60@include font-face('Fraktur', normal, normal);61@include font-face('Main', bold, normal);62@include font-face('Main', bold, italic);63@include font-face('Main', normal, italic);64@include font-face('Main', normal, normal);65@include font-face('Math', bold, italic);66@include font-face('Math', normal, italic);67@include font-face('SansSerif', bold, normal);68@include font-face('SansSerif', normal, italic);69@include font-face('SansSerif', normal, normal);70@include font-face('Script', normal, normal);71@include font-face('Size1', normal, normal);72@include font-face('Size2', normal, normal);73@include font-face('Size3', normal, normal);74@include font-face('Size4', normal, normal);75@include font-face('Typewriter', normal, normal);76