css lint fix

Author: nakul-py

style/base.css

@@ -80,10 +80,7 @@
 
 .jp-DiffArrowOverlay {
   position: absolute;
-  top: 0;
-  left: 0;
-  right: 22px;
-  bottom: 0;
+  inset: 0 22px 0 0;
   pointer-events: none;
   z-index: 3;
 }
@@ -102,7 +99,7 @@
 .jp-DiffArrow {
   pointer-events: all;
   background: var(--jp-layout-color1);
-  padding: 0px 6px;
+  padding: 0 6px;
   cursor: pointer;
   border: none;
   font-size: 12px;