diff options
author | Camil Staps | 2015-07-03 23:39:40 +0200 |
---|---|---|
committer | Camil Staps | 2015-07-03 23:41:02 +0200 |
commit | f0ed4df2b0e11ab66966a8395cd7d6d29c7a8efc (patch) | |
tree | ecdfbd232e1710f67c233c3e4281560f0344a10c /index.html | |
parent | Installation (diff) |
Latex & Html output options
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -77,7 +77,7 @@ <div class="col-md-9"> <h2>Truth table</h2> <p>Truth tables are generated with a server-side <a href="http://clean.cs.ru.nl/Clean" target="_blank">Clean</a> program.</p> - <textarea class="form-control" id="truthtable"></textarea> + <div id="truthtable" class="table-responsive"></div> </div> </div> </div> @@ -94,7 +94,7 @@ expressions: $('#expressions').val().split("\n") }, success: function (data) { - $('#truthtable').val(data); + $('#truthtable').html(data).find('table').addClass('table table-striped table-condensed table-bordered table-hover'); } }); }).trigger('click'); |