Merge branch 'main' of github.com:hhu-adam/lean4game

2022-12-14 15:30:57 +01:00
parent e88dc0eb71 6bb758c666
commit 3fd3a12370
1 changed files with 5 additions and 0 deletions
@@ -43,6 +43,11 @@
  border-top: 1px solid rgb(0, 0, 0, 0.12); /* This should be teh same colour as `divider` in LeftPanel.tsx */
 }

+/* fix as Mui seems to set this to `nowrap`. */
+.MuiAccordionDetails-root {
+  white-space: normal;
+}
+
 /***************************************/
 /* TODO: For development purposes only */
 /***************************************/