Skip to content

Adopt minimal proof/exercise styling - #45

Merged
mmcky merged 1 commit into
mainfrom
harmonize-minimal-style
Jul 9, 2026
Merged

mmcky merged 1 commit into
mainfrom
harmonize-minimal-style

Conversation

@mmcky

@mmcky mmcky commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

What

Adopt the QuantEcon minimal proof/exercise styling in lectures/_config.yml:

  • proof_minimal_theme: true — sphinx-proof minimal theme
  • exercise_style: "solution_follow_exercise" — sphinx-exercise layout

Why

Part of a cross-series harmonization so every Python lecture series presents proofs and exercises with the same minimal look. dp was the only series opting out of both knobs. See the audit and checklist in QuantEcon/workspace-lectures#13.

Note

Config-only change; no lecture content touched.

Add proof_minimal_theme and the solution_follow_exercise exercise style so dp matches the QuantEcon minimal look used across the Python lecture series.

Part of the cross-series harmonization tracked in QuantEcon/workspace-lectures#13.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings July 9, 2026 00:59

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the lecture series’ Sphinx configuration to match QuantEcon’s “minimal” visual styling for proofs and exercises, aligning this series with the cross-series harmonization goal.

Changes:

  • Enable sphinx-proof minimal theme via proof_minimal_theme: true.
  • Set sphinx-exercise layout via exercise_style: "solution_follow_exercise".

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@mmcky
mmcky merged commit 85272e8 into main Jul 9, 2026
2 checks passed
@mmcky
mmcky deleted the harmonize-minimal-style branch July 9, 2026 03:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants