From 51cba2aa29fdfcaa0702f1381c222cf1ceab5d65 Mon Sep 17 00:00:00 2001 From: jojohoch <joachim.hoch@iqb.hu-berlin.de> Date: Mon, 10 Jan 2022 09:26:13 +0100 Subject: [PATCH] [player] Add font "PT Sans" to dev index.html --- projects/player/src/index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/projects/player/src/index.html b/projects/player/src/index.html index d1998118e..3fa4d4526 100644 --- a/projects/player/src/index.html +++ b/projects/player/src/index.html @@ -40,6 +40,7 @@ <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="icon" type="image/x-icon" href="favicon.ico"> <link href="assets/roboto.css" rel="stylesheet"> + <link href="assets/ptsans.css" rel="stylesheet"> <link href="assets/material-icons.css" rel="stylesheet"> </head> <body> -- GitLab