Merge pull request #4103 from AllskyTeam/4003-changes-to-editor-page

#4003 Changes to editor page
AllskyTeam · Dec 22, 2024 · 6457eeb · 6457eeb
2 parents 9e245b2 + 65b930e
commit 6457eeb
Show file tree

Hide file tree

Showing 16 changed files with 1,794 additions and 1,417 deletions.
diff --git a/html/documentation/css/custom.css b/html/documentation/css/custom.css
@@ -894,3 +894,59 @@ div.sticky {
 .ml-5 {
 	margin-left: 3rem !important;
 }
+
+/* Code Editor */
+
+.cm-string.highlight {
+    background-color: lightgreen;
+    color: black !important;
+}
+
+#as-overlay {
+    position: absolute;
+    width: 100%;
+    height: 100%;
+    background-color: rgba(0,0,0,0.5); 
+    z-index: 2; 
+    cursor: pointer;
+}
+
+#as-overlay.big {
+    height: 80vh;
+}
+
+#as-overlay .center {
+    display: flex;
+    justify-content: center;
+    align-items: center;
+    height: 25%;
+    font-size: 2em;
+}
+
+#as-overlay .center-full {
+    display: flex;
+    justify-content: center;
+    align-items: center;
+    height: 100%;
+    font-size: 2em;
+}
+
+#as-overlay .center,.center-full .center-paragraph {
+    text-align: center;
+    border: 3px solid green;
+    background-color: rgba(0,0,0,0.3);
+    padding: 15px;    
+}
+
+#as-overlay small {
+    font-size: 50% !important;
+}
+
+#as-overlay p {
+    margin: 0px !important;
+}
+
+#as-overlay h1 {
+    margin-top: 10px !important;
+    margin-bottom: 10px !important;
+}