deploy: 82cd445715

10 months ago · cd924fa89d
parent 74aa077328
commit cd924fa89d
4 changed files with 4 additions and 2 deletions
--- a/master/print.html
+++ b/master/print.html
@ -1627,6 +1627,7 @@ so it should be defined after the normal theme options.</p>
 are listed below. The <code>[palette]</code> section in the config file takes precedence
 over it and is merged into the default palette.</p>
 <div class="table-wrapper"><table><thead><tr><th>Color Name</th></tr></thead><tbody>
+<tr><td><code>reset</code></td></tr>
 <tr><td><code>black</code></td></tr>
 <tr><td><code>red</code></td></tr>
 <tr><td><code>green</code></td></tr>
--- a/master/searchindex.js
+++ b/master/searchindex.js
--- a/master/searchindex.json
+++ b/master/searchindex.json
--- a/master/themes.html
+++ b/master/themes.html
@ -221,6 +221,7 @@ so it should be defined after the normal theme options.</p>
 are listed below. The <code>[palette]</code> section in the config file takes precedence
 over it and is merged into the default palette.</p>
 <div class="table-wrapper"><table><thead><tr><th>Color Name</th></tr></thead><tbody>
+<tr><td><code>reset</code></td></tr>
 <tr><td><code>black</code></td></tr>
 <tr><td><code>red</code></td></tr>
 <tr><td><code>green</code></td></tr>