Z3Prover · Copilot · Dec 19, 2025 · Dec 19, 2025 · Dec 19, 2025 · Dec 19, 2025
diff --git a/.nojekyll b/.nojekyll
diff --git 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.
diff --git a/_config.yml b/_config.yml
@@ -0,0 +1,27 @@
+# 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
+  - slides/index.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/
diff --git a/_layouts/default.html 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>
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -1,3 +1,8 @@
+---
+layout: default
+title: Project Ideas
+---
+
 # Project ideas
 
 

diff --git a/slides/index.md b/slides/index.md
@@ -1 +1,6 @@
+---
+layout: default
+title: Z3 Slides
+---
+
 {% include_relative README.md %}