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-05 08:16:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
|
|
|
text-decoration: none !important;
|
2018-01-01 14:10:10 +00:00
|
|
|
}
|
|
|
|
|
2018-06-03 11:54:38 +00:00
|
|
|
.browsh-hide-text,
|
2018-06-04 07:51:47 +00:00
|
|
|
.browsh-hide-text *,
|
|
|
|
html * {
|
2018-06-03 11:54:38 +00:00
|
|
|
font-family: 'BlankMono' !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.browsh-show-text,
|
|
|
|
.browsh-show-text * {
|
|
|
|
font-family: 'BlockCharMono' !important;
|
|
|
|
}
|
|
|
|
|
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;
|
|
|
|
}
|
2018-06-04 12:48:35 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Site-specific fixes
|
|
|
|
*
|
|
|
|
* TODO: This is going to need to be much more formally organised
|
|
|
|
*/
|
|
|
|
/* Stackoverflow cookie banner */
|
|
|
|
#js-gdpr-consent-banner {
|
|
|
|
display: none;
|
|
|
|
}
|