deploy: 7fffc0a5d1

10 months ago · c20865fbac
parent cd924fa89d
commit c20865fbac
4 changed files with 4 additions and 4 deletions
--- a/master/print.html
+++ b/master/print.html
@ -1627,7 +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>default</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,7 +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>default</code></td></tr>
 <tr><td><code>black</code></td></tr>
 <tr><td><code>red</code></td></tr>
 <tr><td><code>green</code></td></tr>