🤖 fix: relocate Seti font asset (#632)

## Summary
- serve the Seti font from the packaged public directory so builds can
load it
- swap the globals.css @font-face source to the new path
- update update_seti_icons.sh to refresh the font in its new location

_Generated with _

Author: kylecarbs

src/browser/assets/file-icons/seti.woff renamed to public/seti.woff

@@ -3,13 +3,14 @@ set -euo pipefail
 
 ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 ASSET_DIR="$ROOT_DIR/src/browser/assets/file-icons"
+FONT_PATH="$ROOT_DIR/public/seti.woff"
 
 mkdir -p "$ASSET_DIR"
 
 curl -sSL "https://raw.githubusercontent.com/microsoft/vscode/main/extensions/theme-seti/icons/seti.woff" \
-  -o "$ASSET_DIR/seti.woff"
+  -o "$FONT_PATH"
 
 curl -sSL "https://raw.githubusercontent.com/microsoft/vscode/main/extensions/theme-seti/icons/vs-seti-icon-theme.json" \
   -o "$ASSET_DIR/seti-icon-theme.json"
 
-echo "Updated Seti icon assets in $ASSET_DIR"
+echo "Updated Seti icon assets in $ASSET_DIR and font at $FONT_PATH"

scripts/update_seti_icons.sh

@@ -12,7 +12,7 @@
 
 @font-face {
   font-family: "Seti";
-  src: url("../assets/file-icons/seti.woff") format("woff");
+  src: url("/seti.woff") format("woff");
   font-weight: normal;
   font-style: normal;
   font-display: swap;