diff 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'); |