style: Reduce query result table font size to 75%

Makes tables more compact in notebook displays.

Co-Authored-By: Claude Opus 4.5 <[email protected]>

Author: dimitri-yatsenko

.secrets/database.password

@@ -0,0 +1 @@
+tutorial

.secrets/database.user

@@ -0,0 +1 @@
+root

datajoint.json

@@ -0,0 +1,8 @@
+{
+  "database": {
+    "host": "127.0.0.1",
+    "port": 3306
+  },
+  "safemode": false,
+  "loglevel": "WARNING"
+}

src/datajoint/preview.py

@@ -121,11 +121,11 @@ def get_html_display_value(tup, name, idx):
             border-collapse:collapse;
         }
         .Table th{
-            background: #A0A0A0; color: #ffffff; padding:4px; border:#f0e0e0 1px solid;
-            font-weight: normal; font-family: monospace; font-size: 100%;
+            background: #A0A0A0; color: #ffffff; padding:2px 4px; border:#f0e0e0 1px solid;
+            font-weight: normal; font-family: monospace; font-size: 75%;
         }
         .Table td{
-            padding:4px; border:#f0e0e0 1px solid; font-size:100%;
+            padding:2px 4px; border:#f0e0e0 1px solid; font-size: 75%;
         }
         .Table tr:nth-child(odd){
             background: #ffffff;