Make the base font a bit smaller and set a constant width for expansion

buttons
This commit is contained in:
Daniel Compton 2017-10-24 15:23:27 +13:00
parent 92e7a2b1bd
commit 96f00e50c2
2 changed files with 5 additions and 0 deletions

View File

@ -2,6 +2,7 @@
all: initial;
/*! abridged from normalize.css v7.0.0 | MIT License | github.com/necolas/normalize.css */
line-height: 1.15;
font-size: 14px;
/* Text-level semantics
========================================================================== */
/* Embedded content
@ -457,4 +458,5 @@
}
#--re-frame-trace-- .expansion-button {
font-family: sans-serif;
width: 16px;
}

View File

@ -26,6 +26,7 @@
/*! abridged from normalize.css v7.0.0 | MIT License | github.com/necolas/normalize.css */
line-height: 1.15;
font-size: 14px;
div,
nav {
@ -551,7 +552,9 @@
}
}
.expansion-button {
font-family: sans-serif;
width: 16px;
}
}