Update CHANGES for PR #7142

This commit is contained in:
Takeshi KOMIYA 2020-03-15 22:23:45 +09:00
parent 8f8acd3c0a
commit ef34ebdf2e

View File

@ -89,6 +89,8 @@ Features added
* #7103: linkcheck: writes all links to ``output.json`` * #7103: linkcheck: writes all links to ``output.json``
* #7025: html search: full text search can be disabled for individual document * #7025: html search: full text search can be disabled for individual document
using ``:nosearch:`` file-wide metadata 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 Bugs fixed
---------- ----------