From ef34ebdf2e1865e38a12d97089da86dfc8747c73 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sun, 15 Mar 2020 22:23:45 +0900 Subject: [PATCH] Update CHANGES for PR #7142 --- CHANGES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES b/CHANGES index d85f18258..d4e8d2ea4 100644 --- a/CHANGES +++ b/CHANGES @@ -89,6 +89,8 @@ Features added * #7103: linkcheck: writes all links to ``output.json`` * #7025: html search: full text search can be disabled for individual document using ``:nosearch:`` file-wide metadata +* #7142: html theme: Add a theme option: ``pygments_dark_style`` to switch the + style of code-blocks in dark mode Bugs fixed ----------