|
|
@ -34,7 +34,7 @@
|
|
|
|
// Fonts are chosen for consistent metrics, not necessarily overall prettiness.
|
|
|
|
// Fonts are chosen for consistent metrics, not necessarily overall prettiness.
|
|
|
|
@fonts: 'Segoe UI', 'Segoe UI Emoji', 'Segoe UI Symbol', 'Lato', 'Liberation Sans', 'Noto Sans', 'Helvetica Neue', 'Helvetica', sans-serif;
|
|
|
|
@fonts: 'Segoe UI', 'Segoe UI Emoji', 'Segoe UI Symbol', 'Lato', 'Liberation Sans', 'Noto Sans', 'Helvetica Neue', 'Helvetica', sans-serif;
|
|
|
|
@fonts-secondary: 'Linux Libertine', 'Times New Roman', 'Liberation Serif', 'Nimbus Roman', 'Noto Serif', 'Times', serif;
|
|
|
|
@fonts-secondary: 'Linux Libertine', 'Times New Roman', 'Liberation Serif', 'Nimbus Roman', 'Noto Serif', 'Times', serif;
|
|
|
|
@fonts-mono: 'Liberation Mono', 'Menlo', 'Consolas', 'Monaco', 'Noto Mono', 'Nimbus Mono L', monospace;
|
|
|
|
@fonts-mono: 'Menlo', 'Consolas', 'Monaco', 'Noto Mono', 'Nimbus Mono L', monospace;
|
|
|
|
|
|
|
|
|
|
|
|
@border: 0.2em;
|
|
|
|
@border: 0.2em;
|
|
|
|
@radius: 0.2em;
|
|
|
|
@radius: 0.2em;
|
|
|
|