style: fix lint error

Safe-DS · Jan 31, 2024 · 61f3598 · 61f3598
1 parent f1af233
commit 61f3598
Showing 1 changed file with 23 additions and 24 deletions.
diff --git a/packages/safe-ds-vscode/media/vscode.css b/packages/safe-ds-vscode/media/vscode.css
@@ -5,7 +5,7 @@
     --input-margin-vertical: 4px;
     --input-margin-horizontal: 0;
   }
-  
+
   body {
     /* padding: 0 var(--container-paddding); */
     color: var(--vscode-foreground);
@@ -14,36 +14,36 @@
     font-family: var(--vscode-font-family);
     background-color: var(--vscode-editor-background);
   }
-  
+
   ol,
   ul {
     padding-left: var(--container-paddding);
   }
-  
+
   body > *,
   form > * {
     margin-block-start: var(--input-margin-vertical);
     margin-block-end: var(--input-margin-vertical);
   }
-  
+
   *:focus {
     outline-color: var(--vscode-focusBorder) !important;
   }
-  
+
   a {
     color: var(--vscode-textLink-foreground);
   }
-  
+
   a:hover,
   a:active {
     color: var(--vscode-textLink-activeForeground);
   }
-  
+
   code {
     font-size: var(--vscode-editor-font-size);
     font-family: var(--vscode-editor-font-family);
   }
-  
+
   button {
     border: none;
     padding: var(--input-padding-vertical) var(--input-padding-horizontal);
@@ -54,7 +54,7 @@
     color: var(--vscode-button-foreground);
     background: var(--vscode-button-background);
   }
-  
+
   /* span {
     color: #1e1e1e;
     color: #d4d4d4;
@@ -70,25 +70,25 @@
     color: #d4d4d4;
     color: #569cd6;
   } */
-  
+
   button:hover {
     cursor: pointer;
     background: var(--vscode-button-hoverBackground);
   }
-  
+
   button:focus {
     outline-color: var(--vscode-focusBorder);
   }
-  
+
   button.secondary {
     color: var(--vscode-button-secondaryForeground);
     background: var(--vscode-button-secondaryBackground);
   }
-  
+
   button.secondary:hover {
     background: var(--vscode-button-secondaryHoverBackground);
   }
-  
+
   input:not([type="checkbox"]),
   textarea {
     display: block;
@@ -100,7 +100,7 @@
     outline-color: var(--vscode-input-border);
     background-color: var(--vscode-input-background);
   }
-  
+
   input::placeholder,
   textarea::placeholder {
     color: var(--vscode-input-placeholderForeground);
@@ -112,28 +112,27 @@
     color: var(--vscode-editor-foreground);
     background-color: var(--vscode-editor-background);
   }
-  
+
   table th,
   table td {
     border: 1px solid var(--vscode-editor-lineHighlightBorder);
     padding: 8px 12px;
   }
-  
+
   table th {
     background-color: var(--vscode-editor-groupHeaderBackground);
     color: var(--vscode-editor-foreground);
     text-align: left;
   }
-
+
+  table a {
+      color: var(--vscode-textLink-foreground);
+  }
+
   table tr:nth-child(even) {
     background-color: var(--vscode-editor-lineHighlightBackground);
   }
-  
+
   table tr:hover {
     background-color: var(--vscode-editor-hoverHighlightBackground);
   }
-
-  table a {
-    color: var(--vscode-textLink-foreground);
-  }
-