Index: Tools/GardeningServer/styles/main.css |
diff --git a/Tools/GardeningServer/styles/main.css b/Tools/GardeningServer/styles/main.css |
index ce0a8482f38d4bb94ee74ca5d7afeac9348dbf95..90bac6ba1cec72f7fb601d48edc44ad9fff07ade 100644 |
--- a/Tools/GardeningServer/styles/main.css |
+++ b/Tools/GardeningServer/styles/main.css |
@@ -316,17 +316,6 @@ button.default:hover { |
background-color: white; |
} |
-.text-result { |
- border: none; |
- width: 100%; |
- height: 400px; /* FIXME: How do we get a reasonable height here? */ |
-} |
- |
-.image-result { |
- width: 100%; |
- height: auto; |
-} |
- |
/*** partytime ***/ |
.partytime { |