pinokiod 1.3.24 → 1.3.25

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/package.json +1 -1
  2. package/server/public/style.css +5 -3
  3. package/server/views/fullscreen_editor.ejs +0 -1
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "1.3.24",
3
+ "version": "1.3.25",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
package/server/public/style.css CHANGED
@@ -51,7 +51,7 @@
51
51
  --dark-btn-color: whitesmoke;
52
52
  }
53
53
  .navheader {
54
- padding: 20px 10px 10px;
54
+ padding: 15px 10px;
55
55
  }
56
56
  body.columns footer {
57
57
  }
@@ -629,10 +629,10 @@ body.columns .containers {
629
629
  }
630
630
  */
631
631
  .xterm {
632
- /*
633
632
  padding: 20px !important;
634
- */
633
+ /*
635
634
  padding: 0 20px !important;
635
+ */
636
636
  cursor: pointer;
637
637
  overflow: auto;
638
638
  box-sizing: border-box;
@@ -648,6 +648,7 @@ body.dark header {
648
648
  background: var(--dark-nav-bg);
649
649
  }
650
650
  header {
651
+ background: var(--dark-nav-bg);
651
652
  /*
652
653
  background: var(--light-nav-bg);
653
654
  */
@@ -723,6 +724,7 @@ header .runner {
723
724
  header .runner .btn {
724
725
  padding: 5px 10px;
725
726
  font-size: 12px;
727
+ background: royalblue;
726
728
  }
727
729
  body.dark .memory {
728
730
  background: rgba(0,0,0,0.8);
package/server/views/fullscreen_editor.ejs CHANGED
@@ -45,7 +45,6 @@ html {
45
45
  body {
46
46
  height: 100%;
47
47
  overflow: hidden;
48
- background: rgb(44, 29, 22);
49
48
  display: flex;
50
49
  flex-direction: column;
51
50
  }