nandi.uk / gleam
Fork of daniellemaywood.uk/gleam — Wasm codegen work
2
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

add font for box drawing characters

author
Giacomo Cavalieri committer
Louis Pilfold date (Apr 5, 2026, 5:35 PM +0100) commit d6be407e parent ce919f72 change-id txukuzmw
+17
+1
.github/workflows/ci.yaml
··· 310 310 ls build/dev/docs/lib_project/fonts/ubuntu-mono-v15-regular-greek.woff2 311 311 ls build/dev/docs/lib_project/fonts/ubuntu-mono-v15-regular-latin-ext.woff2 312 312 ls build/dev/docs/lib_project/fonts/ubuntu-mono-v15-regular-latin.woff2 313 + ls build/dev/docs/lib_project/fonts/ubuntu-mono-v15-regular-box.woff2 313 314 if: ${{ matrix.run-integration-tests }} 314 315 315 316 test-wasm:
+7
compiler-core/src/docs.rs
··· 415 415 ), 416 416 }); 417 417 418 + files.push(OutputFile { 419 + path: Utf8PathBuf::from("fonts/ubuntu-mono-v15-regular-box.woff2"), 420 + content: Content::Binary( 421 + include_bytes!("../templates/docs-fonts/ubuntu-mono-v15-regular-box.woff2").to_vec(), 422 + ), 423 + }); 424 + 418 425 files 419 426 } 420 427
+9
compiler-core/templates/docs-css/index.css
··· 99 99 U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, 100 100 U+FEFF, U+FFFD; 101 101 } 102 + /* ubuntu mono box drawing characters */ 103 + @font-face { 104 + font-family: "Ubuntu Mono"; 105 + font-style: normal; 106 + font-weight: 400; 107 + font-display: swap; 108 + src: url("../fonts/ubuntu-mono-v15-regular-box.woff2") format("woff2"); 109 + unicode-range: U+2500-257F, U+2580-259F; 110 + } 102 111 103 112 :root { 104 113 /* Colours */
compiler-core/templates/docs-fonts/ubuntu-mono-v15-regular-box.woff2

This is a binary file and will not be displayed.