*/
/* The SQL entry window. */
-.sqltext { height: 40em;
- width: 80em; }
+.sqltext { font-family: monospace; }
+textarea.sqltext { height: 40em;
+ width: 80em; }
/* The "status" message which goes with each SQL result (set) */
.sql_status { font-size: 50%; }
detail = '<br>\n'.join(detail)
numbered_stmts = []
- numbered_stmts.append('<br><ol>')
+ numbered_stmts.append('<br><ol class="sqltext">')
for line in stmt_text.rstrip().split('\n'):
numbered_stmts.append(f'<li>{markupsafe.escape(line)}</li>')
numbered_stmts.append('</ol>')