mirror of
https://github.com/NixOS/mobile-nixos.git
synced 2024-12-22 23:41:34 +03:00
57 lines
1.1 KiB
Plaintext
57 lines
1.1 KiB
Plaintext
|
@import "vendors/sdr-responsive/index";
|
||
|
|
@import "vendors/normalize";
|
||
|
|
@import "vendors/aardvarklegs/aal";
|
||
|
|
|
||
|
|
@gutter: 1rem;
|
||
|
|
|
||
|
|
* {
|
||
|
|
box-sizing: border-box;
|
||
|
|
}
|
||
|
|
|
||
|
|
html, body {
|
||
|
|
width: 100%;
|
||
|
|
height: 100%;
|
||
|
|
margin: 0;
|
||
|
|
padding: 0;
|
||
|
|
}
|
||
|
|
|
||
|
|
body {
|
||
|
|
line-height: 1.5;
|
||
|
|
//font-family: Helvetica, Arial, sans-serif;
|
||
|
|
padding: @gutter;
|
||
|
|
}
|
||
|
|
|
||
|
|
tt, code, kbd, samp, pre, span.command {
|
||
|
|
//font-family: monospace;
|
||
|
|
|
||
|
|
// Without this slight adjustment, the monospaced text seems too smushed
|
||
|
|
// with the non-monospaced text.
|
||
|
|
padding-left: 0.4ex;
|
||
|
|
padding-right: 0.4ex;
|
||
|
|
|
||
|
|
// The monospace font often has a character height that's visually bigger
|
||
|
|
// than the non-monospaced ones. This adjusts for that.
|
||
|
|
font-size: 0.9em;
|
||
|
|
}
|
||
|
|
|
||
|
|
span.command > strong {
|
||
|
|
font-weight: normal;
|
||
|
|
}
|
||
|
|
|
||
|
|
// Docbook peppers `<hr />` around. Let's skip them all.
|
||
|
|
hr {
|
||
|
|
display: none;
|
||
|
|
}
|
||
|
|
|
||
|
|
// Less helper to remove the ability to select.
|
||
|
|
// This is generally user-hostile, use sparingly.
|
||
|
|
#no-select() {
|
||
|
|
-webkit-touch-callout: none;
|
||
|
|
-webkit-user-select: none;
|
||
|
|
-khtml-user-select: none;
|
||
|
|
-moz-user-select: none;
|
||
|
|
-ms-user-select: none;
|
||
|
|
user-select: none;
|
||
|
|
cursor: default;
|
||
|
|
}
|