Fix rename pt 1

page/src_/App.css

@@ -0,0 +1,116 @@
+html {
+  font-family: "Inter", sans-serif;
+}
+
+@media (pointer: fine) {
+  ::-webkit-scrollbar {
+    width: 20px;
+    height: 20px;
+  }
+
+  ::-webkit-scrollbar-track {
+    background: transparent;
+  }
+
+  ::-webkit-scrollbar-thumb {
+    background-color: rgba(97, 97, 97, 0.7);
+    border-radius: 20px;
+    border: 6px solid transparent;
+    background-clip: content-box;
+    transition: all 0.1s linear;
+    min-height: 50px;
+  }
+
+  ::-webkit-scrollbar-thumb:hover {
+    background-color: rgba(97, 97, 97, 0.9);
+  }
+
+  ::-webkit-scrollbar-corner {
+    background: transparent;
+  }
+}
+
+button {
+  cursor: pointer;
+}
+
+button.fancy.bg-primary,
+button.fancy.bg-secondary {
+  transition: all 0.2s ease;
+}
+
+button.fancy.bg-primary {
+  background: linear-gradient(
+    180deg,
+    rgba(38, 144, 255, 1) 0%,
+    rgba(0, 123, 255, 1) 100%
+  );
+  border: 1px solid rgb(18, 101, 236);
+  text-shadow: rgba(0, 0, 0, 0.2) 0px 1px;
+}
+
+button.fancy.bg-primary:hover {
+  background: linear-gradient(
+    180deg,
+    rgba(46, 151, 255, 1) 0%,
+    rgba(8, 130, 255, 1) 100%
+  );
+  border: 1px solid rgb(33, 33, 34);
+}
+
+button.fancy.bg-secondary {
+  background: linear-gradient(180deg, rgb(38, 38, 39) 0%, rgb(34, 34, 35) 100%);
+  border: 1px solid rgb(42, 42, 44);
+}
+
+button.fancy.bg-secondary:hover {
+  background: linear-gradient(180deg, rgb(42, 42, 43) 0%, rgb(38, 38, 39) 100%);
+  border: 1px solid rgb(33, 33, 34);
+}
+
+/*.terminal-output span {
+  padding: 0px 16px;
+}*/
+
+.terminal-output {
+  font-weight: 600;
+  font-size: 1.05em;
+  font-family: monospace;
+  height: 100%;
+}
+
+.terminal-black {
+  color: #0c0c0c;
+}
+
+.terminal-red {
+  color: #ff3131;
+}
+
+.terminal-green {
+  color: #86c000;
+}
+
+.terminal-yellow {
+  color: #ffb940;
+}
+
+.terminal-blue {
+  color: #3a96dd;
+}
+
+.terminal-cyan {
+  color: #00adf7;
+}
+
+.terminal-pink {
+  color: #9750dd;
+}
+
+.terminal-white {
+  color: #ececec;
+}
+
+.terminal-dark-gray {
+  color: rgb(81, 81, 81);
+}