From 9207321ce55ee354ec340f44523f385d2045df79 Mon Sep 17 00:00:00 2001 From: Rasmus Andersson Date: Tue, 22 Aug 2017 10:23:32 -0700 Subject: web lab: fixes issue with incorrect font name --- docs/lab/index.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/lab/index.html b/docs/lab/index.html index 48c05d729..a61213b4e 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -609,14 +609,14 @@ for (const ch of uniqueChars) {