style: tweak traffic lights size

Author: mcanouil

_extensions/code-window/code-window.lua

@@ -147,13 +147,13 @@ local TYPST_FUNCTION_DEF = [==[
             gutter: 0.5em,
             stroke: 0pt,
             box(
-              inset: (right: 8pt),
+              inset: (right: 0.5em),
               stack(
                 dir: ltr,
-                spacing: 5pt,
-                circle(radius: 5pt, fill: rgb("#ff5f56"), stroke: none),
-                circle(radius: 5pt, fill: rgb("#ffbd2e"), stroke: none),
-                circle(radius: 5pt, fill: rgb("#27c93f"), stroke: none),
+                spacing: 0.425em,
+                circle(radius: 0.425em, fill: rgb("#ff5f56"), stroke: none),
+                circle(radius: 0.425em, fill: rgb("#ffbd2e"), stroke: none),
+                circle(radius: 0.425em, fill: rgb("#27c93f"), stroke: none),
               ),
             ),
             if filename != none {

_extensions/code-window/style.css

@@ -32,9 +32,9 @@
   content: '';
   display: inline-flex;
   flex-shrink: 0;
-  width: calc(12px * 3 + 6px * 2);
-  height: 12px;
-  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='48' height='12'%3E%3Ccircle cx='6' cy='6' r='5' fill='%23ff5f56'/%3E%3Ccircle cx='24' cy='6' r='5' fill='%23ffbd2e'/%3E%3Ccircle cx='42' cy='6' r='5' fill='%2327c93f'/%3E%3C/svg%3E");
+  width: 3.4em;
+  height: 0.80em;
+  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='40' height='10'%3E%3Ccircle cx='5' cy='5' r='5' fill='%23ff5f56'/%3E%3Ccircle cx='20' cy='5' r='5' fill='%23ffbd2e'/%3E%3Ccircle cx='35' cy='5' r='5' fill='%2327c93f'/%3E%3C/svg%3E");
   background-size: contain;
   background-repeat: no-repeat;
 }
@@ -70,7 +70,7 @@
 }
 
 /* Plain code blocks (unknown language without sourceCode wrapper) */
-.code-with-filename > pre {
+.code-with-filename>pre {
   margin: 0;
   border: none;
   border-radius: 0;