Doc update

uds-se · Apr 28, 2024 · 113d5ff · 113d5ff
1 parent 37e575b
commit 113d5ff
Show file tree

Hide file tree

Showing 7 changed files with 13 additions and 1 deletion.
diff --git a/binder/postBuild b/binder/postBuild
@@ -478,6 +478,10 @@ a.import:active {
     color: red!important;
 }
 
+svg a {
+    text-decoration: none!important;
+}
+
 /* Banner */
 .banner {
     margin-top: 30px; /* Add a top margin to avoid content overlay */

diff --git a/docs/beta/dist/debuggingbook-1.2.3.tar.gz b/docs/beta/dist/debuggingbook-1.2.3.tar.gz
diff --git a/docs/beta/dist/debuggingbook-code.zip b/docs/beta/dist/debuggingbook-code.zip
diff --git a/docs/beta/dist/debuggingbook-notebooks.zip b/docs/beta/dist/debuggingbook-notebooks.zip
diff --git a/docs/beta/html/custom.css b/docs/beta/html/custom.css
@@ -426,6 +426,10 @@ a.import:active {
     color: red!important;
 }
 
+svg a {
+    text-decoration: none!important;
+}
+
 /* Banner */
 .banner {
     margin-top: 30px; /* Add a top margin to avoid content overlay */

diff --git a/docs/beta/notebooks/README.md b/docs/beta/notebooks/README.md
@@ -66,6 +66,6 @@ This work is designed as a _textbook_ for a course in software debugging; as _su
 
 ## News
 
-This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](https://www.debuggingbook.org/html/ReleaseNotes.html) To get notified on updates, <a href="https://mastodon.social/invite/P27cijZH">follow us on Mastodon</a>.
+This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](https://www.debuggingbook.org/html/ReleaseNotes.html) To get notified on updates, <a href="https://mastodon.social/@TheDebuggingBook">follow us on Mastodon</a>.
 
 <!--
diff --git a/docs/beta/notebooks/custom.css b/docs/beta/notebooks/custom.css
@@ -426,6 +426,10 @@ a.import:active {
     color: red!important;
 }
 
+svg a {
+    text-decoration: none!important;
+}
+
 /* Banner */
 .banner {
     margin-top: 30px; /* Add a top margin to avoid content overlay */
-Original file line number
+Diff line change
@@ Expand Up @@
     ## News
-    This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](https://www.debuggingbook.org/html/ReleaseNotes.html) To get notified on updates, <a href="https://mastodon.social/invite/P27cijZH">follow us on Mastodon</a>.
+    This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](https://www.debuggingbook.org/html/ReleaseNotes.html) To get notified on updates, <a href="https://mastodon.social/@TheDebuggingBook">follow us on Mastodon</a>.
     <!--