frontend/node_modules/katex/src/metrics/format_json.py

#!/usr/bin/env python3

import sys
import json

props = ['depth', 'height', 'italic', 'skew']

if len(sys.argv) > 1:
    if sys.argv[1] == '--width':
        props.append('width')

data = json.load(sys.stdin)
sys.stdout.write(
  "// This file is GENERATED by buildMetrics.sh. DO NOT MODIFY.\n")
sep = "export default {\n    "
for font in sorted(data):
    sys.stdout.write(sep + json.dumps(font))
    sep = ": {\n        "
    for glyph in sorted(data[font], key=int):
        sys.stdout.write(sep + json.dumps(glyph) + ": ")

        values = [value if value != 0.0 else 0 for value in
                  [data[font][glyph][key] for key in props]]

        sys.stdout.write(json.dumps(values))
        sep = ",\n        "
    sep = ",\n    },\n    "
sys.stdout.write(",\n    },\n};\n")