From e621db18f772a84fc4da6aa8b439fa92758dfa8d Mon Sep 17 00:00:00 2001 From: Mingfei Date: Fri, 5 Jul 2019 16:14:32 -0400 Subject: [PATCH] Mess with alignment of line numbers in code --- static/css/simulations.css | 2 ++ static/js/render.js | 2 +- templates/simulations/base.jinja2 | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/static/css/simulations.css b/static/css/simulations.css index 18ae560d..3754e599 100644 --- a/static/css/simulations.css +++ b/static/css/simulations.css @@ -61,6 +61,8 @@ body { .line_no_text { vertical-align: center; font-family: Courier, monospace; + float: right; + text-align: right; } #code { diff --git a/static/js/render.js b/static/js/render.js index 65d4f687..75ea9055 100644 --- a/static/js/render.js +++ b/static/js/render.js @@ -17,7 +17,7 @@ export class Renderer { let element = $(`
-

${i.toString()}:

+

${i.toString()}:

Code
{# TODO: make sure this doesn't obscure the line numbers #}
-
#
+
#
Lbl
Op
ATD