Registry / RepositoryTypeScriptRustPython
Rollpie
ReadmeFiles
Versions
Info
Download
0.2.0579.9 KB2026-09-150.1.1576.6 KB2026-09-12
Version
0.1.1
Copyright
Rollpie, Irohabook
Publisher
math
Published
2026-09-12
Size
576.6 KB
Downloads
4
Checksum
8e0181e42f4abdc9f91c1ff48b058761bf1940be8d2d4747e5e74bd3014f4322
Dependencies
None

mark.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
//! 上に付ける印と線を大きく見るための一枚

use suki::font;
use suki::{Mode, Shape, escape, render_svg};

const SOURCES: &[&str] = &[
    r"\hat{p} \quad \hat{x} \quad \hat{A} \quad \tilde{n} \quad \dot{q} \quad \ddot{q} \quad \bar{y}",
    r"\vec{v} \quad \vec{AB} \quad \widehat{xyz} \quad \widetilde{abc}",
    r"\overline{z_1 z_2} \quad \overline{A} \quad \underline{ab} \quad \overline{\overline{x}}",
];

fn main() {
    let path = std::env::args().nth(1).unwrap_or_else(|| "font/latinmodern-math.otf".to_string());
    let loaded = font::load(std::fs::read(&path).unwrap()).unwrap();
    let value = font::constant(&loaded);

    println!("<!DOCTYPE html><html lang=\"ja\"><head><meta charset=\"utf-8\"><title>印</title><style>");
    println!("@font-face{{font-family:\"{}\";src:url(\"{}\")}}",
        escape(font::family(&loaded)), escape(&path));
    println!("{}", suki::style(&loaded));
    println!("body{{margin:0;padding:26px;font-family:system-ui,sans-serif;font-size:12px}}");
    println!(".row{{margin-bottom:34px}}");
    println!(".big{{font-size:64px}}");
    println!(".src{{color:#767676;margin-bottom:6px}}");
    println!("</style></head><body>");
    println!(
        "<div class=\"src\">印を載せる高さ {:.3} / 上の線の空き {:.3} / 太さ {:.3} / 上乗せ {:.3}</div>",
        value.accent_base_height,
        value.overbar_vertical_gap,
        value.overbar_rule_thickness,
        value.overbar_extra_ascender
    );

    for source in SOURCES {
        println!("<div class=\"row\"><div class=\"src\">{}</div>", escape(source));
        println!("<div class=\"big\">{}</div></div>",
            render_svg(source, &loaded, Mode::Display, Shape::Outline).unwrap());
    }

    println!("</body></html>");
}