Added remote cursor markers

Signed-off-by: Dimitris Kolovos <dimitris.kolovos@york.ac.uk>

Author: kolovos

mkdocs/docs/playground/css/custom.css

@@ -312,4 +312,24 @@ body {
 
 #preloader-message {
 	padding: 10px;
+}
+
+.yRemoteSelection {
+	background-color: rgb(250, 129, 0, .5)
+}
+.yRemoteSelectionHead {
+	position: absolute;
+	border-left: orange solid 2px;
+	border-top: orange solid 2px;
+	border-bottom: orange solid 2px;
+	height: 100%;
+	box-sizing: border-box;
+}
+.yRemoteSelectionHead::after {
+	position: absolute;
+	content: ' ';
+	border: 3px solid orange;
+	border-radius: 4px;
+	left: -4px;
+	top: -5px;
 }