From c8d2811f296e63d438a9460158c4c2327ea32573 Mon Sep 17 00:00:00 2001 From: Nicolas Setton Date: Sun, 3 Sep 2017 13:57:20 -0400 Subject: [PATCH] Style using twitter bootstrap v3 And put editors in nice tabs. --- compile_server/app/static/common.css | 4 +- compile_server/app/templates/code_page.html | 50 +++++++++++++++++---- 2 files changed, 43 insertions(+), 11 deletions(-) diff --git a/compile_server/app/static/common.css b/compile_server/app/static/common.css index c767fc6..592f21f 100644 --- a/compile_server/app/static/common.css +++ b/compile_server/app/static/common.css @@ -1,5 +1,5 @@ -.editor_container{ - width: 60%; +div.editor_container{ height: 30em; border: 1px solid #ddd; + border-top: 0px; } diff --git a/compile_server/app/templates/code_page.html b/compile_server/app/templates/code_page.html index b3ba77a..87ea27d 100644 --- a/compile_server/app/templates/code_page.html +++ b/compile_server/app/templates/code_page.html @@ -6,14 +6,17 @@ Editor + -
+
+ +