| 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 {
|
|
|