From 17fd422062e4e0525e1df98a6ed67e298e598c6d Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 8 Aug 2023 11:45:02 +0300 Subject: [PATCH] Unused style --- doc/style.css | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 doc/style.css diff --git a/doc/style.css b/doc/style.css deleted file mode 100644 index 44fa2e0..0000000 --- a/doc/style.css +++ /dev/null @@ -1,5 +0,0 @@ -body { background-color: #AEBECE } -h1, h2, h3, h4 { text-align: center } -h1, h2, h3, h4, strong { color: #900090 } -pre { background-color: #CCCCCC } -table, th, td { border: 1px solid black ; border-collapse: collapse } -- 2.44.0