renaming CSS files for clarity

2021-04-15 12:34:51 +01:00
parent 38a63641bc
commit 3e50d0edca
5 changed files with 7 additions and 7 deletions
--- a/media/css/main2-redundant.css
+++ b/media/css/main2-redundant.css
--- a/media/css/trog3.css
+++ b/media/css/trog3.css
@@ -2,7 +2,7 @@ html, body {
 	height: 100%;
 }

-/* This text is used by the test system to determine that main3.css loaded correctly */
+/* This text is used by the test system to determine that trog3.css loaded correctly */
 .caption			{ font-size: 8pt; margin-bottom: 0pt; }
 .centre				{ text-align: center; }
 .plus2pt			{ font-size: 160%; }