stylesheet statistic button corpus statistic
Change-Id: Ib41e0c808edb40fd364101b9b1196f34422eb583
diff --git a/dev/scss/header/vc.scss b/dev/scss/header/vc.scss
index 02c8b54..72f2742 100644
--- a/dev/scss/header/vc.scss
+++ b/dev/scss/header/vc.scss
@@ -30,6 +30,7 @@
width: 0 $bracket-size; // .6em .5em
}
+
// Whiten on hover
&:hover {
background-color: rgba(255,255,255,.06);
@@ -64,6 +65,37 @@
// This will be overruled by JS!
content: "or";
}
+
+ &:after {
+ .button-stat {
+
+
+
+ > span {
+ cursor: pointer;
+ box-shadow: $choose-box-shadow;
+ font-size: 9pt;
+ line-height: 1.5em;
+ padding: 0 4px;
+ display: inline-block;
+ @include choose-item;
+ border-style: solid;
+ border-width: $border-size 0;
+ &:hover {
+ @include choose-hover;
+ }
+ &:first-child {
+ border: {
+ left-width: $border-size;
+ right-width: $border-size;
+ }
+ }
+
+ }
+}
+
+
+ }
}
// And operation
@@ -297,3 +329,99 @@
text-decoration: underline;
}
}
+
+div.stattable{
+ display: flex;
+ flex-direction: row;
+ }
+
+div.stattable ul.action.image {
+ display: block;
+ li {
+ cursor: pointer;
+ color: $nearly-white;
+ text-decoration: none;
+ > span {
+ @include blind;
+ }
+ border-width: 0;
+ // z-index: 8;
+ text-decoration:none;
+ text-align: center;
+ font-style: normal;
+
+ &.close::after {
+ font-family: 'FontAwesome';
+ content: $fa-close;
+ }
+ }
+}
+
+
+div.stattable > dl {
+ display: flex;
+ flex-flow: row wrap;
+ background-color: $dark-green;
+ //margin-top: 4 * $border-size !important;
+ margin-top:4px;
+ padding-bottom: 0;
+ > div {
+ display: flex;
+ margin-right: 5px;
+ margin-left: 5px;
+ > dt {
+ text-align: right;
+ padding: 1px;
+ margin: 0;
+ &:after {
+ content: ":";
+ }
+ }
+ > dd {
+ text-align: left;
+ padding: 1px;
+ margin: 0;
+ width: 100%;
+ max-width: none;
+ max-height: 6em;
+ margin-left: $border-size;
+ }
+ }
+}
+
+
+
+// TODO -> button-group
+.button-stat {
+ > span {
+ cursor: pointer;
+ //box-shadow: $choose-box-shadow;
+ font-size: 9pt;
+ line-height: 1.5em;
+ padding: 0 4px;
+ display: inline-block;
+ border-top-left-radius: $standard-border-radius;
+ border-bottom-right-radius: $standard-border-radius;
+ border-top-right-radius: $standard-border-radius;
+ border-bottom-left-radius: $standard-border-radius;
+ background-color: $light-grey;
+ border-style: solid;
+
+ border-width: $border-size 0;
+ margin-top:10px;
+ color: $choose-color;
+
+ border-color: $choose-border-color;
+
+ &:hover {
+ @include choose-hover;
+ }
+ &:first-child {
+ border: {
+ left-width: $border-size;
+ right-width: $border-size;
+ }
+ }
+
+ }
+}