deploy: c5bfb792b2

2 years ago · 93b65e3337
parent 4303c7f930
commit 93b65e3337
4 changed files with 4 additions and 4 deletions
--- a/master/print.html
+++ b/master/print.html
@ -1310,7 +1310,7 @@ Its behavior is equivalent to setting <code>underline.style=&quot;line&quot;</co
 <tr><td><code>line</code></td></tr>
 <tr><td><code>curl</code></td></tr>
 <tr><td><code>dashed</code></td></tr>
-<tr><td><code>dot</code></td></tr>
+<tr><td><code>dotted</code></td></tr>
 <tr><td><code>double_line</code></td></tr>
 </tbody></table>
 </div>
--- a/master/searchindex.js
+++ b/master/searchindex.js
--- a/master/searchindex.json
+++ b/master/searchindex.json
--- a/master/themes.html
+++ b/master/themes.html
@ -214,7 +214,7 @@ Its behavior is equivalent to setting <code>underline.style=&quot;line&quot;</co
 <tr><td><code>line</code></td></tr>
 <tr><td><code>curl</code></td></tr>
 <tr><td><code>dashed</code></td></tr>
-<tr><td><code>dot</code></td></tr>
+<tr><td><code>dotted</code></td></tr>
 <tr><td><code>double_line</code></td></tr>
 </tbody></table>
 </div>