Setup for Jupyter Book

Author: andreas-zeller

_config.yml

@@ -0,0 +1,50 @@
+title: The Debugging Book
+author: Andreas Zeller
+copyright: 2021-2025 CISPA Helmholtz Center for Information Security (www.cispa.de). All Rights Reserved
+logo: "_static/debuggingbook.png"
+
+bibtex_bibfiles:
+  - fuzzingbook.bib
+
+latex:
+  latex_documents:
+     targetname: debuggingbook.tex
+
+sphinx:
+  config:
+    latex_engine: xelatex
+    latex_show_pagerefs: true
+    latex_show_urls: footnote
+
+execute:
+  execute_notebooks: 'off'
+  stderr_output: show
+  timeout: 300
+
+parse:
+  myst_enable_extensions:
+    # - amsmath
+    - colon_fence
+    - dollarmath
+    # - html_admonition
+    # - html_image
+    - linkify
+    - replacements
+    - smartquotes
+    - substitution
+    - tasklist
+    - deflist
+
+html:
+  announcement: '<p>This is a beta version of debuggingbook.org, currently in development. See the <a href="https://debuggingbook.org/classic/"  style="color:white!important;">classic site</a> for resources.</p>'
+  use_issues_button: true
+  use_repository_button: true
+
+repository:
+  url: "https://github.com/uds-se/debuggingbook/"
+  path_to_book: "docs/notebooks"
+  branch: master
+
+launch_buttons:
+  binderhub_url: "https://mybinder.org"
+  thebe: false  # Does not support local imports

_static/custom.css

@@ -0,0 +1,45 @@
+/* 
+    CSS stylesheet for fuzzingbook
+
+    This is used for the JB HTML version.
+*/
+
+/* Loading fonts in Jupyter */
+@import url(https://fonts.googleapis.com/css?family=Fira+Mono:400,500,700|Raleway:400|Open+Sans|Source+Code+Pro); /* DebuggingBook */
+
+
+/* Fonts */
+h1, h2, h3, h4, h5 {
+	font-family: 'Raleway', Helvetica, Arial, sans-serif; /* DebuggingBook */
+}
+
+body {
+  font-family: 'Open Sans', sans-serif;
+}
+
+code, kbd, pre, samp {
+  font-family: 'Fira Mono', 'Source Code Pro', monospace;
+}
+
+.CodeMirror pre {
+  font-family: 'Fira Mono', 'Source Code Pro', monospace;
+}
+
+
+/* Headers are purple, too */
+/* should be purple, but must work in dark & light mode */
+/* Alas, the [data-theme="light"] selector has no effect: https://pydata-sphinx-theme.readthedocs.io/en/v0.9.0/user_guide/customizing.html*/ 
+
+h1, h2, h3 {
+    color: #b070a0!important;
+}
+
+/* And links also come in shades of putple */
+a, button {
+    color: #b070a0!important;
+}
+
+
+svg a {
+    text-decoration: none!important;
+}