+@import url('https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,100..900;1,14..32,100..900&family=Source+Code+Pro:ital,wght@0,200..900;1,200..900&display=swap');
+
+body,
+div.log_link,
+td.link,
+td.selflink,
+a.rss_logo {
+ font-family: "Inter", system-ui, sans-serif;
+}
+
+div.page_body,
+div.title_text,
+table.diff_tree,
+td.sha1,
+td.pre,
+div.pre,
+div.diff,
+td.mode,
+td.size {
+ font-family: "Source Code Pro", ui-monospace, monospace;
+}
+
body {
font-size: 16px;
min-inline-size: min(100% - 22px, 1440px);