Exporting examples, viewing logdice, frequency, clusternum

also: cluster num for example on load handled
2020-01-24 01:49:33 +01:00
parent d843080e40
commit 7e3fa499f8
5 changed files with 114 additions and 25 deletions
--- a/res/main.less
+++ b/res/main.less
@@ -154,6 +154,7 @@

    .example {
      clear: left;
+      margin-left: 1em;

      .example-dot, .example-rest {
        float: left;
@@ -167,6 +168,24 @@
        ._hoverable();
      }

+      .example-cluster, .example-logdice, .example-frequency {
+        vertical-align: super;
+        font-size: 0.7em;
+        margin-left: 0.1em;
+        margin-right: 0.1em;
+      }
+
+      .example-cluster {
+        color: @blue;
+      }
+      .example-logdice { 
+        color: @gray;
+      }
+      .example-frequency {
+        color: @red;
+      }
+
+
      .example-rest {
        border: 1px transparent solid;
      }