[web] Reduce `pre` line height (#22182)

* Remove bad prop "divider" in DropdownDivider

* Reduce line height in log-entry-content-raw

Per https://digital-science.slack.com/archives/C05JM5NTHUP/p1732704056729519

* Decrease `pre` line-height to `--line-height-01` (body-xs)

GitOrigin-RevId: 584ba587d1fc3b8964b96722a6e72efc9fea1059

services/web/frontend/js/features/pdf-preview/components/pdf-file-list.jsx

@@ -79,7 +79,7 @@ function PdfFileList({ fileList }) {
           ))}
 
           {fileList.other.length > 0 && fileList.top.length > 0 && (
-            <DropdownDivider divider />
+            <DropdownDivider />
           )}
 
           {fileList.other.map(file => (

services/web/frontend/stylesheets/bootstrap-5/pages/editor/logs.scss

@@ -150,7 +150,8 @@
   }
 
   .log-entry-content-raw {
-    font-size: var(--font-size-01);
+    @include body-xs;
+
     color: var(--content-secondary);
     padding: var(--spacing-03);
     margin: 0;