diff options
Diffstat (limited to 'src/www/wc.html')
| -rw-r--r-- | src/www/wc.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/www/wc.html b/src/www/wc.html index 904cfd42a..98b0ef785 100644 --- a/src/www/wc.html +++ b/src/www/wc.html @@ -12,6 +12,7 @@ textarea { margin: 0; } body:target h1, body:target div.modtime { display: none; } #extra { color: #666; } #pick>* { padding: 0 0.5ex; } +#speak { display: none; } </style> </head> @@ -51,6 +52,7 @@ body:target h1, body:target div.modtime { display: none; } <button onclick="wc.swap()">↑↓</button> <br> <textarea name=output rows=3 style="width: 100%" readonly></textarea> + <small id=speak><input name=speak type=checkbox> Speak</small> </form> </table> @@ -61,7 +63,7 @@ body:target h1, body:target div.modtime { display: none; } </div> <p> <div class=modtime><small> -<!-- hhmts start -->Last modified: Wed Feb 19 14:56:13 CET 2014 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Mon Mar 17 16:28:58 CET 2014 <!-- hhmts end --> </small></div> <script src="js/support.js"></script> <script src="js/gftranslate.js"></script> |