style updateHEADmain

1 files changed, 1 insertions, 1 deletions

diff --git a/style.scss b/style.scss
index a2c358c..00b5539 100644
--- a/style.scss
+++ b/style.scss
@@ -572,7 +572,7 @@ h1.title {
     position: relative;
     margin-bottom: 30px;
     padding-right: 1.2em;
-    &::before { content: "Proof.\00a0\00a0"; }
+    &::before { content: "Proof:\00a0\00a0"; }
     &::after {
         content: "";
         position: absolute;