From 1097de13bbf931150125f99a4f0079df11b608dc Mon Sep 17 00:00:00 2001 From: Vasek Sraier Date: Sat, 17 Oct 2020 23:12:31 +0200 Subject: [PATCH] html: fixed some global issues with previously removed CSS --- frontend/public/editor.html | 13 +++++++++++- frontend/public/grafik.html | 2 +- frontend/src/Editor.svelte | 41 +++++++++++++++++++++++-------------- 3 files changed, 39 insertions(+), 17 deletions(-) diff --git a/frontend/public/editor.html b/frontend/public/editor.html index 48fc526..a8e0a68 100644 --- a/frontend/public/editor.html +++ b/frontend/public/editor.html @@ -4,7 +4,7 @@ - Editor úloh + KSP kurz | Editor diff --git a/frontend/public/grafik.html b/frontend/public/grafik.html index 3ebe39f..794bcea 100644 --- a/frontend/public/grafik.html +++ b/frontend/public/grafik.html @@ -4,7 +4,7 @@ - Graulohík + KSP kurz