2014-06-14 12:58:54 -04:00
|
|
|
.documentation-index {
|
2014-06-05 02:39:03 -04:00
|
|
|
h1 {
|
2014-04-18 11:21:21 -04:00
|
|
|
margin: 0;
|
|
|
|
}
|
2014-05-29 13:35:43 -04:00
|
|
|
|
2014-06-05 02:39:03 -04:00
|
|
|
h2 {
|
|
|
|
font-size: 20px;
|
|
|
|
}
|
|
|
|
|
2014-04-18 11:21:21 -04:00
|
|
|
li {
|
2014-05-29 13:35:43 -04:00
|
|
|
line-height: 24px;
|
2016-11-30 08:25:25 -05:00
|
|
|
color: $document-index-color;
|
2014-05-29 13:35:43 -04:00
|
|
|
|
|
|
|
a {
|
|
|
|
margin-right: 3px;
|
|
|
|
}
|
2014-04-18 11:21:21 -04:00
|
|
|
}
|
|
|
|
}
|
2014-08-21 04:14:31 -04:00
|
|
|
|
|
|
|
|
|
|
|
.shortcut-mappings {
|
|
|
|
font-size: 12px;
|
2016-11-30 08:25:25 -05:00
|
|
|
color: $help-shortcut-mapping-color;
|
2014-08-21 04:14:31 -04:00
|
|
|
|
|
|
|
tbody:first-child tr:first-child {
|
2016-10-14 16:39:08 -04:00
|
|
|
padding-top: 0;
|
2014-08-21 04:14:31 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
th {
|
|
|
|
padding-top: 15px;
|
|
|
|
line-height: 1.5;
|
2016-11-30 08:25:25 -05:00
|
|
|
color: $help-shortcut-header-color;
|
2016-10-14 16:39:08 -04:00
|
|
|
text-align: left;
|
2014-08-21 04:14:31 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
td {
|
|
|
|
padding-top: 3px;
|
|
|
|
padding-bottom: 3px;
|
|
|
|
vertical-align: top;
|
2016-10-14 16:39:08 -04:00
|
|
|
line-height: 20px;
|
2014-08-21 04:14:31 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
.shortcut {
|
|
|
|
padding-right: 10px;
|
2016-11-30 08:25:25 -05:00
|
|
|
color: $help-shortcut-color;
|
2014-08-21 04:14:31 -04:00
|
|
|
text-align: right;
|
2016-10-14 16:39:08 -04:00
|
|
|
white-space: nowrap;
|
2014-08-21 04:14:31 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
.key {
|
|
|
|
@extend .label;
|
|
|
|
@extend .label-inverse;
|
|
|
|
font: 11px Consolas, "Liberation Mono", Menlo, Courier, monospace;
|
|
|
|
padding: 3px 5px;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-16 10:36:37 -04:00
|
|
|
.documentation {
|
|
|
|
padding: 7px;
|
2016-06-14 14:15:21 -04:00
|
|
|
|
|
|
|
// Border around images in the help pages.
|
2016-06-19 20:31:29 -04:00
|
|
|
img:not(.emoji) {
|
2016-12-12 17:26:21 -05:00
|
|
|
border: 1px solid $white-normal;
|
2016-06-14 14:15:21 -04:00
|
|
|
padding: 5px;
|
|
|
|
margin: 5px;
|
2016-06-21 12:24:00 -04:00
|
|
|
max-height: calc(100vh - 100px);
|
2016-06-14 14:15:21 -04:00
|
|
|
}
|
2015-10-16 10:36:37 -04:00
|
|
|
}
|