2018-01-01 14:10:10 +00:00
|
|
|
@font-face {
|
|
|
|
/* A special font that only has unicode full blocks in it, so we can detect */
|
|
|
|
/* font colors and text visibility more easily. */
|
|
|
|
font-family: 'BlockCharMono';
|
2018-01-21 03:56:05 +00:00
|
|
|
src: url('/assets/BlockCharMono.ttf') format('truetype');
|
2018-01-01 14:10:10 +00:00
|
|
|
}
|
|
|
|
|
2018-06-03 11:54:38 +00:00
|
|
|
@font-face {
|
|
|
|
font-family: 'BlankMono';
|
|
|
|
src: url('/assets/BlankMono.ttf') format('truetype');
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Force text into a reliable grid */
|
2017-12-30 13:37:28 +00:00
|
|
|
html * {
|
|
|
|
font-size: 15px !important;
|
|
|
|
line-height: 20px !important;
|
2018-01-01 14:10:10 +00:00
|
|
|
letter-spacing: 0px !important;
|
|
|
|
font-style: normal !important;
|
|
|
|
font-weight: normal !important;
|
|
|
|
}
|
|
|
|
|
2018-06-03 11:54:38 +00:00
|
|
|
.browsh-hide-text,
|
|
|
|
.browsh-hide-text * {
|
|
|
|
font-family: 'BlankMono' !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.browsh-show-text,
|
|
|
|
.browsh-show-text * {
|
|
|
|
font-family: 'BlockCharMono' !important;
|
|
|
|
}
|
|
|
|
|
2018-01-01 14:10:10 +00:00
|
|
|
/* Simulate emphasis because terminals don't usually support bold, italic, etc */
|
|
|
|
b, em, strong {
|
|
|
|
filter: brightness(10%);
|
2017-12-30 13:37:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
sup, sub {
|
|
|
|
vertical-align: baseline !important;
|
|
|
|
}
|
2018-06-02 10:47:37 +00:00
|
|
|
|
|
|
|
/* Prevents duplicated text caused by the rendering of the DOM's input box content
|
|
|
|
* and the CLI app's input box content */
|
|
|
|
input, textarea {
|
|
|
|
color: transparent !important;
|
|
|
|
}
|