From 173e6d1f1c790908ed3a65d0fe4ee2b1e1b76213 Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Tue, 17 Oct 2017 16:43:21 -0400
Subject: [PATCH] Fix style issue

Cancel bootstrap right margin fiddling, needed for embedding.
---
 compile_server/app/static/common.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compile_server/app/static/common.css b/compile_server/app/static/common.css
index 34f31c6..bac62e4 100644
--- a/compile_server/app/static/common.css
+++ b/compile_server/app/static/common.css
@@ -46,6 +46,7 @@ div.output_area{
 }
 
 div.output_row{
+   margin-right: 0px;
 }
 
 div.output_row button{