Remove stale stuff.

1 files changed, 0 insertions, 42 deletions

diff --git a/tools/fonts/woff2css2 b/tools/fonts/woff2css2
deleted file mode 100755
index 8105524..0000000
--- a/tools/fonts/woff2css2
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/usr/bin/python3
-
-# Embed a woff2 font in a static CSS file.
-# Usage: woff2css in.woff2 out.css
-#
-# Limitations: takes weight and style information from the file name of the font.
-# This script will throw an unhelpful exception if weight and style cannot
-# be determined.
-
-# @font-face {
-#  font-family: "Dinish";
-#  font-weight: 700;
-#  font-style: bold;
-#  src: url(data:font/woff2;base64,d09GMgABAAAAACzcAA0AAAAAc/wAACyGAAIAxQAAAAAAAAAAAAAAAAAAAAAAAAAAGnYbnkIcg0IGYACDHAqBpT
-# }
-
-import os
-import re
-import sys
-
-if not re.search(r"\.woff2$", sys.argv[1]):
-    print("Usage: woff2css *.woff2")
-    sys.exit(1)
-
-for src in sys.argv[1:]:
-	m = re.match(r"([\w-]+)-(\w+)\.", os.path.basename(src))
-	if m:
-	    family = m.group(1)
-	    style = m.group(2)
-	else:
-	    print("Font should be named Family-Style.woff2; could not determine font weight.")
-	    sys.exit(1)
-
-	s = ("@font-face{")
-	s += (f"font-family:'{family}';")
-	if style == "Bold" or style == "BoldItalic":
-		s += (f"font-weight:bold;")
-	if style == "Italic" or style == "BoldItalic":
-		s += (f"font-style:italic;")
-	s += (f"src:url('{src}')format('woff2')")
-	s += ("}")
-	print(s)