From f6366f73d681222d5150fb23aa420709ed0dfc01 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Mon, 23 Nov 2015 18:28:23 +0100
Subject: [PATCH] Forgotten resource!
---
.../src/main/webapp/VAADIN/themes/mytheme/styles.scss | 11 +++++++++++
1 file changed, 11 insertions(+)
create mode 100644 P/Sda1/InsertGui/V12/src/main/webapp/VAADIN/themes/mytheme/styles.scss
diff --git a/P/Sda1/InsertGui/V12/src/main/webapp/VAADIN/themes/mytheme/styles.scss b/P/Sda1/InsertGui/V12/src/main/webapp/VAADIN/themes/mytheme/styles.scss
new file mode 100644
index 000000000..bba1d493c
--- /dev/null
+++ b/P/Sda1/InsertGui/V12/src/main/webapp/VAADIN/themes/mytheme/styles.scss
@@ -0,0 +1,11 @@
+@import "mytheme.scss";
+@import "addons.scss";
+
+// This file prefixes all rules with the theme name to avoid causing conflicts with other themes.
+// The actual styles should be defined in mytheme.scss
+
+.mytheme {
+ @include addons;
+ @include mytheme;
+
+}
--
GitLab