git.shiar.nl
/
sheet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
cache unicode character details in digraph include
[sheet.git]
/
base.css
diff --git
a/base.css
b/base.css
index 40d0cb1f87be61bbc52f4cff1f75219ce026cea8..cfaa4339eacce9e07419c3c913646e0b757ccfba 100644
(file)
--- a/
base.css
+++ b/
base.css
@@
-1,3
+1,11
@@
+/* media features */
+
+@import url(terse.css) all and (max-width: 80em);
+
+@import url(mono.css) all and (monochrome);
+
+/* general */
+
body {
background: #FFF;
color: #000;
body {
background: #FFF;
color: #000;
@@
-68,7
+76,7
@@
ul.keys li b {
line-height: 2.5ex; /* inherits otherwise */
padding-left: 2px;
}
line-height: 2.5ex; /* inherits otherwise */
padding-left: 2px;
}
-ul.keys.omni li {
+ul.keys.omni li {
/* omni-present esc */
width: 8.5em;
}
width: 8.5em;
}
@@
-105,6
+113,7
@@
ul.keys.ctrl li b small { /* meta key indicator */
.mo[onclick]:hover {background: #F88}
.me[onclick]:hover {background: #99F}
.mv[onclick]:hover {background: #D9D}
.mo[onclick]:hover {background: #F88}
.me[onclick]:hover {background: #99F}
.mv[onclick]:hover {background: #D9D}
+.co[onclick]:hover {background: #EE4}
.no {
background: #EEE;
.no {
background: #EEE;
@@
-148,13
+157,14
@@
p.footer {
.help > * {
display: table-cell;
width: 20%;
.help > * {
display: table-cell;
width: 20%;
+ vertical-align: top;
}
.left dl.legend {
}
.left dl.legend {
- margin-left: 6.
2em;
+ margin-left: 6.
4em; /* a bit over 6.2em to allow for borders+padding (border-sizing would work too) */
}
.left dl.legend dt {
}
.left dl.legend dt {
- margin-left: -6.
2
em; /* msie<=6 multiply this by two for some reason */
+ margin-left: -6.
4
em; /* msie<=6 multiply this by two for some reason */
float: left;
clear: left;
}
float: left;
clear: left;
}
@@
-162,10
+172,10
@@
p.footer {
float: left; /* align next to dt (except msie<=7 does just the opposite) */
}
.right dl.legend {
float: left; /* align next to dt (except msie<=7 does just the opposite) */
}
.right dl.legend {
- margin-right: 6.
2
em;
+ margin-right: 6.
4
em;
}
.right dl.legend dt {
}
.right dl.legend dt {
- margin-right: -6.
2
em;
+ margin-right: -6.
4
em;
float: right;
clear: right;
}
float: right;
clear: right;
}