testing new domain

Author: imaginator

.gitignore

@@ -1,5 +1,6 @@
 # MkDocs build output
 site/
+.cache/
 
 # Python
 __pycache__/

docs/documentation/jets-explained.md

@@ -29,6 +29,7 @@ The development of a Jet follows a **rigorous, multi-stage pipeline** to ensure
 ---
 
 ### 1. Prototyping with Simplicity Combinators
+
 The initial phase involves building the desired functionality using only the fundamental building blocks (combinators) of Simplicity.
 
 This serves as a high-level, human-readable blueprint.
@@ -68,5 +69,5 @@ This proves that the optimized C implementation is semantically identical to the
 Once fully verified and benchmarked, the Jet is integrated into the **core Simplicity library** and considered for standardization, making it available for general use in Liquid and Bitcoin scripts.
 
 ### 8. Deployment
-Newer Jets are deployed to a Bitcoin **testnet** for real-world testing.
 
+Newer Jets are deployed to a Bitcoin **testnet** for real-world testing.

docs/documentation/simplicity-compared.md

@@ -1,7 +1,5 @@
-
 Simplicity was designed from the ground up to address the limitations of existing blockchain scripting languages while maintaining the security guarantees that make Bitcoin reliable.
 
-
 | | **Bitcoin Script** | **Miniscript** | **Solidity** | **Simplicity** | **Comments** |
 |---|---|---|---|---|---|
 | **Primary purpose** | Minimal spend conditions for Bitcoin UTXOs | Safer, structured way to write Bitcoin Script policies | General-purpose smart contracts on Ethereum-like blockchains | Formally verifiable contracts in Bitcoin-like settings | |
@@ -13,4 +11,4 @@ Simplicity was designed from the ground up to address the limitations of existin
 | **State model** | UTXO (local) | UTXO (via Script) | Account/global state | UTXO-style | Local (UTXO) limits blast radius; global state enables composability but can spread risk. |
 | **Formal verification** | Limited | Better static analysis | Possible but complex | Core feature | Strong guarantees lower the chance of catastrophic bugs and costly exploits. |
 | **Performance/resource bounds** | Bounded by consensus | Bounded by consensus | Gas-limited execution | Strict bounds | Predictable costs and low DoS risk make fees and UX more stable. |
-| **Interoperability** | Bitcoin-native | Bitcoin-native | EVM-wide standards | Liquid ecosystem | Affects integrations and network effects for adoption. |
+| **Interoperability** | Bitcoin-native | Bitcoin-native | EVM-wide standards | Liquid ecosystem | Affects integrations and network effects for adoption. |

docs/index.md

@@ -1,13 +1,11 @@
 ---
-title: "A typed functional smart contract language for bitcoin-like blockchains."
-description: "A typed, combinator-based, functional smart contract language without loops or recursion, designed for Bitcoin-like blockchains."
 hide:
   - navigation
   - toc
   - title
 ---
 
-Simplicity is a typed, combinator-based, functional smart contract language without loops or recursion, designed for Bitcoin-like blockchains.
+# A typed, combinator-based, functional smart contract language without loops or recursion, designed for Bitcoin-like blockchains."
 
 ## Key Features
 

docs/resources/faq.md

@@ -1,13 +1,14 @@
+# Simplicity FAQ
 
-### Simplicity is so simple it fits on a [T-shirt](https://store.blockstream.com/products/simplicity-t-shirt). Does that mean it's as limited as Bitcoin Script?
+## Simplicity is so simple it fits on a [T-shirt](https://store.blockstream.com/products/simplicity-t-shirt). Does that mean it's as limited as Bitcoin Script?
 
 No, the "simplicity" refers to its foundational design and formal semantics, not its expressiveness.
 
 - Bitcoin Script is deliberately limited; Simplicity is finitarily complete → it can program any finite computation.
 
 - Complex off-chain (even Turing-complete) computations can be verified on-chain with Simplicity.
 
-### Is Simplicity Turing-complete like EVM?
+## Is Simplicity Turing-complete like EVM?
 
 No, and that’s a feature!
 
@@ -17,7 +18,7 @@ No, and that’s a feature!
 
 - **Enhanced Verifiability:** Programs are analyzable, enabling formal reasoning.
 
-### How does Simplicity handle state? Does it have global state like Ethereum?
+## How does Simplicity handle state? Does it have global state like Ethereum?
 
 Simplicity has no global state. It is a purely functional language: each program is just a function mapping inputs → outputs.
 
@@ -31,7 +32,7 @@ Contracts run within the Bitcoin UTXO model:
 
 This design avoids shared mutable state (as in Ethereum). Instead, every transition is localized: a UTXO is consumed, and the updated state is re-committed into the new UTXO.
 
-### How do I prove my Simplicity contract is correct?
+## How do I prove my Simplicity contract is correct?
 
 Formal verification happens in [Coq/Rocq](https://rocq-prover.org/), not directly in Simplicity.
 
@@ -43,7 +44,7 @@ Process:
 
   3. Proofs give guarantees before deployment.
 
-### Simplicity is low-level. Do I write contracts directly in it?
+## Simplicity is low-level. Do I write contracts directly in it?
 
 Not usually. There are higher-level options:
 
@@ -55,23 +56,23 @@ Not usually. There are higher-level options:
 
 The future vision is that there are multiple high-level languages which all compile down to Simplicity + proofs.
 
-### What are Jets, and how do they make programs efficient?
+## What are Jets, and how do they make programs efficient?
 
-A [Simplicity jet](documentation/jets-explained.md) is a pre-defined, optimized function that replaces an equivalent Simplicity expression to speed up execution without changing its meaning.
+A [Simplicity jet](../documentation/jets-explained.md) is a pre-defined, optimized function that replaces an equivalent Simplicity expression to speed up execution without changing its meaning.
 
 Benefits:
 
-  - Programs remain formally verifiable.
+- Programs remain formally verifiable.
 
-  - Heavy operations run in optimized C instead of interpreted combinators.
+- Heavy operations run in optimized C instead of interpreted combinators.
 
-  - Keeps execution fast, compact, and analyzable.
+- Keeps execution fast, compact, and analyzable.
 
-### How does Simplicity exist alongside Bitcoin script?
+## How does Simplicity exist alongside Bitcoin script?
 
 With Taproot’s versioned leaves, a single Taproot output can include both standard Script/Miniscript leaves and a Simplicity leaf. This allows mixing policies: simple paths can remain in Script while advanced paths use Simplicity, preserving flexibility and privacy under one Taptree.
 
-### How do I track the value of a Simplicity contract with partial payouts when different strike prices are being matched?
+## How do I track the value of a Simplicity contract with partial payouts when different strike prices are being matched?
 
 Simplicity contracts operate on UTXO-committed state. Each contract output carries forward a table of strikes together with their remaining notionals.
 

docs/resources/roadmap.md

@@ -2,7 +2,7 @@
 
 The primary objective for the current development cycle is to prepare Simplicity for execution on a Bitcoin test network. Achieving this objective requires finalising the set of jets, establishing a complete cost model, and implementing state storage for advanced contract functionality.
 
-### Bitcoin Integration
+### Bitcoin Testnet Integration
 
 Work will continue towards producing a signet-mergeable integration branch of bitcoin-core containing Simplicity. Key tasks include:
 

docs/stylesheets/extra.css

@@ -5,4 +5,54 @@
 
 .md-source {
     display: none !important;
+}
+
+/* Hero section styles */
+.hero {
+    background-color: var(--md-primary-fg-color);
+    color: var(--md-primary-bg-color);
+    padding: 4rem 1rem;
+    text-align: center;
+}
+
+.hero h1 {
+    font-size: 3rem;
+    font-weight: 700;
+    margin-bottom: 1rem;
+}
+
+.hero p {
+    font-size: 1.2rem;
+    max-width: 600px;
+    margin: 0 auto 2rem;
+}
+
+.hero .md-button {
+    margin: 0 0.5rem;
+}
+
+/* Quote section styles */
+.quotes {
+    display: grid;
+    gap: 1rem;
+    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
+    margin-top: 2rem;
+}
+
+.quote-card {
+    border-left: 4px solid var(--md-primary-fg-color);
+    padding: 1rem;
+    background-color: var(--md-code-bg-color);
+    border-radius: 4px;
+}
+
+.quote-card blockquote {
+    margin: 0;
+    font-style: italic;
+}
+
+.quote-card footer {
+    margin-top: 1rem;
+    font-weight: bold;
+    text-align: right;
 }

mkdocs.yml

@@ -1,12 +1,15 @@
 site_name: Simplicity
-site_url: https://new-docs.simplicity-lang.org
+site_url: https://docs.simplicity-lang.org
+site_description: A typed, functional smart contract language for Bitcoin-like blockchains. # Add this line
 plugins:
+  - search:
   - git-revision-date-localized:
   - git-committers:
       repository: BlockstreamResearch/simplicity-docs
       branch: main
 theme:
   name: material
+  custom_dir: overrides
   favicon: assets/logo-symbol.svg
   logo: assets/logo-symbol.svg
   features:
@@ -27,7 +30,6 @@ theme:
     - search.share
     - search.suggest
     - toc.follow
-    # - toc.integrate
   palette:
     # Palette toggle for automatic mode
     - media: "(prefers-color-scheme)"
@@ -75,10 +77,8 @@ markdown_extensions:
   - pymdownx.details:
   - pymdownx.tabbed:
       alternate_style: true
-
 extra_css:
   - stylesheets/extra.css
-
 extra:
   generator: false
   social:
@@ -88,7 +88,6 @@ extra:
       link: https://t.me/simplicity_lang
     - icon: fontawesome/brands/github
       link: https://github.com/BlockstreamResearch/simplicity
-      # rust link
     - icon: fontawesome/brands/rust
       link: https://crates.io/crates/simplicity
   analytics:
@@ -125,9 +124,9 @@ nav:
       - Haskell: getting-started/haskell.md
   - Documentation:
       - documentation/index.md
+      - How Simplicity Works: documentation/how-simplicity-works.md
       - Jets Explained: documentation/jets-explained.md
       - Simplicity for EVM developers: documentation/simplicity-for-evm-developers.md
-      - How Simplicity Works: documentation/how-simplicity-works.md
       - Simplicity Compared: documentation/simplicity-compared.md
   - SimplicityHL Reference:
       - simplicityhl-reference/index.md

netlify.toml

@@ -0,0 +1,21 @@
+{% extends "base.html" %}
+
+{% block content %}
+{% if page.is_homepage %}
+<section class="hero">
+    <div class="hero-text">
+        <h1>{{ config.site_name }}</h1>
+        <p>{{ config.site_description }}</p>
+        <a href="{{ 'getting-started/' | url }}" class="md-button md-button--primary">
+            Get Started
+        </a>
+        <a href="{{ 'documentation/' | url }}" class="md-button">
+            Read the Docs
+        </a>
+    </div>
+</section>
+{% endif %}
+
+{# Render the page content #}
+{{ super() }}
+{% endblock %}