-@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');
+@import url('https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,100..900;1,14..32,100..900&display=swap');
body,
div.log_link,
td.mode,
td.size,
div.readme code {
- font-family: "Source Code Pro", ui-monospace, monospace;
+ font-family: ui-monospace, monospace;
}
body {
}
& pre {
- padding: 8px 12px;
+ padding: 16px;
}
& table {