diff --git a/.nojekyll b/.nojekyll
deleted file mode 100644
index e69de29bb..000000000
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.
diff --git a/_config.yml b/_config.yml
new file mode 100644
index 000000000..06494a959
--- /dev/null
+++ 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/
\ No newline at end of file
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 @@
+
+
+
+
+
+ {% if page.title %}{{ page.title }}{% else %}{{ site.title }}{% endif %}
+
+
+
+
+
+ {{ content }}
+
+
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