fix: fix file content with less than and greater than signs

jamesx00 · Dec 29, 2024 · 5c831d0 · 5c831d0
1 parent 4f9887b
commit 5c831d0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 17 deletions.
diff --git a/public/css/tailwind.css b/public/css/tailwind.css
@@ -2084,10 +2084,6 @@ h4 {
   font-weight: 600;
 }
 
-.font-thin {
-  font-weight: 100;
-}
-
 .uppercase {
   text-transform: uppercase;
 }
@@ -2100,14 +2096,6 @@ h4 {
   line-height: 1.5rem;
 }
 
-.leading-tight {
-  line-height: 1.25;
-}
-
-.leading-snug {
-  line-height: 1.375;
-}
-
 .leading-none {
   line-height: 1;
 }
@@ -2221,14 +2209,14 @@ h4 {
   color: rgb(30 41 59 / var(--tw-text-opacity));
 }
 
-.text-white {
+.text-slate-900 {
   --tw-text-opacity: 1;
-  color: rgb(255 255 255 / var(--tw-text-opacity));
+  color: rgb(15 23 42 / var(--tw-text-opacity));
 }
 
-.text-slate-900 {
+.text-white {
   --tw-text-opacity: 1;
-  color: rgb(15 23 42 / var(--tw-text-opacity));
+  color: rgb(255 255 255 / var(--tw-text-opacity));
 }
 
 .underline {

diff --git a/public/js/lesson.js b/public/js/lesson.js
@@ -48,7 +48,7 @@ require(["vs/editor/editor.main"], function () {
 	const parsedFileGroups = beforeParsedFileGroups.map((fileGroup) => {
 		fileGroup.files = fileGroup.files.map((file) => {
 			const fileId = `${fileGroup.id}-${file.id}`;
-			file.content = document.getElementById(`file-${fileId}`).innerHTML;
+			file.content = document.getElementById(`file-${fileId}`).innerText;
 			return file;
 		});
 		return fileGroup;