3 Commits (1350ba30ffbe3c04f25d8d5b974f24a92e534e20)

Author SHA1 Message Date
Isarra 97850166de Normalise some pre styles that just look odd
* Remove Liberation Mono from font stack; comes out excessively light on
  hidpi chrome, to the point of unreadability (and probably is not a local
  config problem beyond merely having it installed at all, as chrome
  overrides normal font rendering settings regardless)
* Kill double border on pre styles; doesn't match other such boxes (notice,
  warning, whatever)

Change-Id: I7a95931bd6af4efc880c3ee8f37a91d61f3e6539
5 years ago
Isarra 91634606e7 Consolidate and make monospace styles more consistent
* Less stark borders
* Add font stack for monospace (ugh)

Change-Id: Ic3a1dc9ead32a30c95ff1573f2054cf68c8cd3bc
5 years ago
Isarra 961be92230 Break up variables.less into mixins, themes, and general variables
Basically, file soup, but more sensible file soup, hopefully.

Change-Id: Ie2cc7b5b66368d3a03ae4490882335f7930929a7
6 years ago