Remove our old notices; use pst admonitions (#326)

Author: jarrodmillman

assets/theme-css/light-mode.css

@@ -22,12 +22,6 @@
     --colorBackgroundInverse: var(--colorPrimaryDark);
     --colorLinkInverse: var(--colorPrimaryLight);
 
-    /* .notice boxes (the heading colors are the same in both themes) */
-    --colorNoteBackground: #e7f2fa;
-    --colorInfoBackground: #fff2db;
-    --colorWarningBackground: #fae2e2;
-    --colorTipBackground: #e6f9e6;
-
     /* Color from bulma.css, but this variable is currently only used for
        dark mode. */
     --colorCode: #da1039;

assets/theme-css/notices.css

@@ -13,12 +13,4 @@
 
   --colorBrightBlue: rgb(30, 135, 240);
   --colorYellow: rgb(255, 197, 83);
-
-  /* .notice boxes (only the heading colors; the content background
-   colors are in the light/dark mode files) */
-  /* FIXME: These colors should probably use named colors. */
-  --colorNoteHeading: #6ab0de;
-  --colorInfoHeading: #f0b37e;
-  --colorWarningHeading: rgba(217, 83, 79, 0.8);
-  --colorTipHeading: rgba(92, 184, 92, 0.8);
 }