From 0d96cd146bb12d90672520b5f63bf474e9e8f1b8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 19 Dec 2025 02:21:54 +0000
Subject: [PATCH 1/5] Initial plan


From 2c2b6cdb3143c11decb7f766c9414ef989a023cb Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 19 Dec 2025 02:27:54 +0000
Subject: [PATCH 2/5] Enable Jekyll for markdown rendering

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .nojekyll                                   |  0
 _config.yml                                 | 29 +++++++++++++++++++++
 api/md/Parameters.md                        |  5 ++++
 api/trace_tags.md                           |  5 ++++
 papers/README.md                            |  5 ++++
 slides/README.md                            |  4 +++
 slides/guest-lectures-wien-2025/README.md   |  5 ++++
 slides/guest-lectures-wien-2025/projects.md |  5 ++++
 slides/index.md                             |  5 ++++
 9 files changed, 63 insertions(+)
 delete mode 100644 .nojekyll
 create mode 100644 _config.yml

diff --git a/.nojekyll b/.nojekyll
deleted file mode 100644
index e69de29bb..000000000
diff --git a/_config.yml b/_config.yml
new file mode 100644
index 000000000..0bb6c2e77
--- /dev/null
+++ b/_config.yml
@@ -0,0 +1,29 @@
+# Z3 Prover GitHub Pages Configuration
+title: Z3 Theorem Prover
+description: Z3 is a theorem prover from Microsoft Research
+baseurl: ""
+url: "https://z3prover.github.io"
+
+# Build settings
+markdown: kramdown
+kramdown:
+  input: GFM
+  syntax_highlighter: rouge
+
+# Include markdown files in the build
+include:
+  - README.md
+  - slides/README.md
+  - papers/README.md
+  - api/trace_tags.md
+  - api/md/Parameters.md
+  - slides/guest-lectures-wien-2025/projects.md
+  - slides/guest-lectures-wien-2025/README.md
+
+# Exclude files from the build
+exclude:
+  - .gitignore
+  - .github/
+
+# Theme (using GitHub Pages default)
+theme: minima
diff --git a/api/md/Parameters.md b/api/md/Parameters.md
index 8cebc115e..52291a19f 100644
--- a/api/md/Parameters.md
+++ b/api/md/Parameters.md
@@ -1,3 +1,8 @@
+---
+layout: default
+title: Z3 Options
+---
+
 Z3 Options
 
 ## Global Parameters
diff --git a/api/trace_tags.md b/api/trace_tags.md
index 9d23d6de5..f61e24b31 100644
--- a/api/trace_tags.md
+++ b/api/trace_tags.md
@@ -1,3 +1,8 @@
+---
+layout: default
+title: Z3 Trace Tags Documentation
+---
+
 # Z3 Trace Tags Documentation
 
 This document contains the trace tags and their descriptions used in Z3.
diff --git a/papers/README.md b/papers/README.md
index 82b60b2a2..f02b4aee6 100644
--- a/papers/README.md
+++ b/papers/README.md
@@ -1,3 +1,8 @@
+---
+layout: default
+title: Online Papers
+---
+
 # Online papers
 
 * [Programming Z3](https://z3prover.github.io/papers/programmingz3.html)
diff --git a/slides/README.md b/slides/README.md
index 132a5da6a..54c2422a7 100644
--- a/slides/README.md
+++ b/slides/README.md
@@ -1,3 +1,7 @@
+---
+layout: default
+title: Z3 Slides
+---
 
 # Slides
 
diff --git a/slides/guest-lectures-wien-2025/README.md b/slides/guest-lectures-wien-2025/README.md
index 96da3b945..dfd2432f4 100644
--- a/slides/guest-lectures-wien-2025/README.md
+++ b/slides/guest-lectures-wien-2025/README.md
@@ -1,3 +1,8 @@
+---
+layout: default
+title: Guest Lecture material at TU Wien October 2025
+---
+
 # Guest Lecture material at TU Wien October 2025
 
 [Lecture Overview](https://z3prover.github.io/slides/guest-lectures-wien-2025/lectures.html)
diff --git a/slides/guest-lectures-wien-2025/projects.md b/slides/guest-lectures-wien-2025/projects.md
index 36d87c939..105402177 100644
--- a/slides/guest-lectures-wien-2025/projects.md
+++ b/slides/guest-lectures-wien-2025/projects.md
@@ -1,3 +1,8 @@
+---
+layout: default
+title: Project Ideas
+---
+
 # Project ideas
 
 
diff --git a/slides/index.md b/slides/index.md
index f2ba3630d..b9b0f7820 100644
--- a/slides/index.md
+++ b/slides/index.md
@@ -1 +1,6 @@
+---
+layout: default
+title: Z3 Slides
+---
+
 {% include_relative README.md %}
\ No newline at end of file

From 270bea65c527cd31beade6af2df59ccd97756f99 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 19 Dec 2025 02:29:17 +0000
Subject: [PATCH 3/5] Add default layout and update config

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 _config.yml           |   2 -
 _layouts/default.html | 121 ++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 121 insertions(+), 2 deletions(-)
 create mode 100644 _layouts/default.html

diff --git a/_config.yml b/_config.yml
index 0bb6c2e77..52dc376aa 100644
--- a/_config.yml
+++ b/_config.yml
@@ -25,5 +25,3 @@ exclude:
   - .gitignore
   - .github/
 
-# Theme (using GitHub Pages default)
-theme: minima
diff --git a/_layouts/default.html b/_layouts/default.html
new file mode 100644
index 000000000..cf5716033
--- /dev/null
+++ b/_layouts/default.html
@@ -0,0 +1,121 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta charset="UTF-8">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0">
+    <title>{% if page.title %}{{ page.title }}{% else %}{{ site.title }}{% endif %}</title>
+    <style>
+        body {
+            font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Helvetica Neue', sans-serif;
+            line-height: 1.6;
+            color: #333;
+            max-width: 900px;
+            margin: 0 auto;
+            padding: 2rem;
+            background-color: #fff;
+        }
+        
+        h1 {
+            color: #2c3e50;
+            border-bottom: 2px solid #3498db;
+            padding-bottom: 0.5rem;
+            margin-bottom: 1.5rem;
+        }
+        
+        h2 {
+            color: #34495e;
+            margin-top: 2rem;
+            margin-bottom: 1rem;
+        }
+        
+        h3 {
+            color: #34495e;
+            margin-top: 1.5rem;
+            margin-bottom: 0.75rem;
+        }
+        
+        ul, ol {
+            padding-left: 1.5rem;
+            margin-bottom: 1rem;
+        }
+        
+        li {
+            margin-bottom: 0.5rem;
+        }
+        
+        a {
+            color: #3498db;
+            text-decoration: none;
+        }
+        
+        a:hover {
+            text-decoration: underline;
+            color: #2980b9;
+        }
+        
+        code {
+            background-color: #f4f4f4;
+            padding: 0.2rem 0.4rem;
+            border-radius: 3px;
+            font-family: 'Courier New', Courier, monospace;
+            font-size: 0.9em;
+        }
+        
+        pre {
+            background-color: #f4f4f4;
+            padding: 1rem;
+            border-radius: 5px;
+            overflow-x: auto;
+        }
+        
+        pre code {
+            background-color: transparent;
+            padding: 0;
+        }
+        
+        table {
+            border-collapse: collapse;
+            width: 100%;
+            margin: 1rem 0;
+        }
+        
+        th, td {
+            border: 1px solid #ddd;
+            padding: 0.75rem;
+            text-align: left;
+        }
+        
+        th {
+            background-color: #f4f4f4;
+            font-weight: bold;
+        }
+        
+        blockquote {
+            border-left: 4px solid #3498db;
+            margin: 1rem 0;
+            padding-left: 1rem;
+            color: #555;
+        }
+        
+        .site-nav {
+            margin-bottom: 2rem;
+            padding-bottom: 1rem;
+            border-bottom: 1px solid #ddd;
+        }
+        
+        .site-nav a {
+            margin-right: 1rem;
+        }
+    </style>
+</head>
+<body>
+    <div class="site-nav">
+        <a href="/">Home</a>
+        <a href="/slides/">Slides</a>
+        <a href="/papers/">Papers</a>
+        <a href="https://github.com/Z3Prover/z3/wiki">Wiki</a>
+    </div>
+    
+    {{ content }}
+</body>
+</html>

From a0a97d6609bbeaa3e3622b84e35120f223abb3f7 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 19 Dec 2025 02:30:22 +0000
Subject: [PATCH 4/5] Add frontmatter to root README.md

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index addaf4291..36bd3e2d4 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,7 @@
+---
+layout: default
+title: Z3 Theorem Prover
+---
+
 # z3prover.github.io
 This is the repository for all web pages related to Z3.

From 39d07f1b998b7f3c35ac6fe5d3192bda25e7f4d2 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 19 Dec 2025 02:31:47 +0000
Subject: [PATCH 5/5] Fix config: add slides/index.md and remove trailing blank
 line

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 _config.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_config.yml b/_config.yml
index 52dc376aa..06494a959 100644
--- a/_config.yml
+++ b/_config.yml
@@ -14,6 +14,7 @@ kramdown:
 include:
   - README.md
   - slides/README.md
+  - slides/index.md
   - papers/README.md
   - api/trace_tags.md
   - api/md/Parameters.md
@@ -23,5 +24,4 @@ include:
 # Exclude files from the build
 exclude:
   - .gitignore
-  - .github/
-
+  - .github/
\ No newline at end of file