From e59d468e1b6e1a5819ecdbcb2ff54f490d6b43d6 Mon Sep 17 00:00:00 2001
From: kovacsv <viktorkovacs@gmail.com>
Date: Tue, 10 Jan 2023 20:58:49 +0100
Subject: [PATCH] Remove unused file.

---
 tools/jsdoc_custom.css | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 tools/jsdoc_custom.css

diff --git a/tools/jsdoc_custom.css b/tools/jsdoc_custom.css
deleted file mode 100644
index cf3cec2..0000000
--- a/tools/jsdoc_custom.css
+++ /dev/null
@@ -1,17 +0,0 @@
-.usertext h1
-{
-    font-size: 36px;
-    margin: 1em 0;
-}
-
-.usertext h2
-{
-    font-size: 30px;
-    margin: 1em 0;
-}
-
-.usertext h3
-{
-    font-size: 24px;
-    margin: 1em 0;
-}