Adopt panel system for plugins
Change-Id: I54f520382fb4a26c05ccb2cf0cd3cb48737933ac
diff --git a/dev/scss/main/buttongroup.scss b/dev/scss/main/buttongroup.scss
index 7d0031a..3e9ce00 100644
--- a/dev/scss/main/buttongroup.scss
+++ b/dev/scss/main/buttongroup.scss
@@ -64,14 +64,16 @@
font-style: normal;
&.download::after {
- font-family: 'FontAwesome';
content: $fa-download;
}
&.close::after {
- font-family: 'FontAwesome';
content: $fa-close;
}
+
+ &.plugin::after {
+ content: $fa-plugin;
+ }
}
}
}
@@ -81,7 +83,6 @@
color: $nearly-white;
}
-
ul.menu.button-group-list {
border-top-right-radius: 8px;
font-size: 10pt;
diff --git a/dev/scss/main/panel.scss b/dev/scss/main/panel.scss
index 40ce48a..44d84a8 100644
--- a/dev/scss/main/panel.scss
+++ b/dev/scss/main/panel.scss
@@ -1,4 +1,3 @@
-@charset "utf-8";
@import "../util";
div.panel {
diff --git a/dev/scss/main/plugin.scss b/dev/scss/main/plugin.scss
index 6b2b715..d8c26a2 100644
--- a/dev/scss/main/plugin.scss
+++ b/dev/scss/main/plugin.scss
@@ -1,11 +1,10 @@
@import "../util";
-div.widget {
- margin-right: $right-match-distance;
-
+div.view.widget {
+ padding-right: $right-match-distance;
> iframe {
- box-sizing: border-box;
margin: 0;
+ box-sizing: border-box;
padding: 0;
width: 100%;
overflow-x: auto;