Fix and improve cursor

2018-12-06 11:54:34 +01:00
parent 1ba80a344b
commit f157f852b1
12 changed files with 405 additions and 12 deletions
--- a/customize.dist/src/less2/include/cursor.less
+++ b/customize.dist/src/less2/include/cursor.less
@@ -0,0 +1,34 @@
+.cursor_main() {
+    // CodeMirror
+    .cp-codemirror-cursor {
+        cursor: default;
+        background-color: red;
+        background-clip: padding-box;
+        padding: 0 1px;
+        border: 2px solid red;
+        border-right-color: transparent !important;
+        border-left-color: transparent !important;
+    }
+    .cp-codemirror-selection {
+        background-color: rgba(255,0,0,0.3);
+    }
+
+    // Tippy
+    .cp-cursor-avatar {
+        @size: 32px;
+        display: flex;
+        align-items: center;
+        media-tag {
+            min-height: @size;
+            max-height: @size;
+            min-width: @size;
+            max-width: @size;
+            margin-right: 10px;
+            img {
+                border-radius: 4px;
+                max-height: 100%;
+                max-width: 100%;
+            }
+        }
+    }
+}