Merge pull request #3 from JerryI/main

controls added
KirillBelovTest · Jul 10, 2023 · c66d77f · c66d77f
2 parents 4272a7d + c7d3fb7
commit c66d77f
Showing 1 changed file with 56 additions and 0 deletions.
diff --git a/WebServer/public/notebook.wsp b/WebServer/public/notebook.wsp
@@ -4,6 +4,62 @@
     <script type="module" src="https://cdn.jsdelivr.net/gh/JerryI/wolfram-js-frontend@master/public/dist/merged.js"></script>
     <script type="module" src="https://cdn.jsdelivr.net/gh/JerryI/wljs-editor@master/dist/kernel.js"></script>
 
+    <style>
+        .content-wrapper {
+            position: relative;
+            width: auto;
+            margin-left: 60px;
+        }
+
+        .tool-div {
+          display: flex
+        }
+
+        .btn {
+          all: unset;
+          align-items: center;
+          background-color: inherit;
+          background-color: transparent;
+          border-radius: 6px;
+          cursor: pointer;
+          display: flex;
+          height: 24px;
+          justify-content: center;
+          margin-right: 2px;
+          position: relative;
+          transition: background-color .18s cubic-bezier(.4, 0, .2, 1);
+          width: auto
+        }
+
+        .btn:first-child {
+          padding: 0;
+          width: 24px
+        }
+
+        .btn:active,
+        .btn:focus,
+        .btn:hover {
+          background-color: #dbdada
+        }
+
+
+        .tool-wrapper {
+          display: flex;
+          left: 0;
+          opacity: 0;
+          position: absolute;
+          bottom: 2.5px;
+          transition: opacity .18s cubic-bezier(.4, 0, .2, 1);
+          -webkit-user-select: none;
+          -moz-user-select: none;
+          user-select: none
+        }
+
+        .tools-show {
+          opacity: 1
+        }
+    </style>
+
     <body class="navigation-with-keyboard">
         <div id="__docusaurus">
             <div id="__docusaurus-base-url-issue-banner-container"></div>