2019-08-17 13:04:55 +02:00
|
|
|
.informational-overlays {
|
|
|
|
.overlay-content {
|
|
|
|
/* because zoom breaks at 525px perhaps due to rounding errors, so add a
|
|
|
|
trivial amount of width so it doesn't break. */
|
|
|
|
width: 550px;
|
|
|
|
margin: 0 auto;
|
|
|
|
position: relative;
|
|
|
|
top: calc((30vh - 50px) / 2);
|
|
|
|
border-radius: 4px;
|
|
|
|
overflow: hidden;
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
background-color: hsl(0, 0%, 100%);
|
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.overlay-tabs {
|
2020-08-06 02:42:07 +02:00
|
|
|
padding: 10px 0;
|
2019-08-17 13:04:55 +02:00
|
|
|
border-bottom: 1px solid hsla(0, 0%, 0%, 0.2);
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.tab-switcher {
|
|
|
|
margin-left: 15px;
|
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.exit {
|
|
|
|
float: right;
|
|
|
|
font-size: 1.5rem;
|
|
|
|
color: hsl(0, 0%, 67%);
|
|
|
|
font-weight: 600;
|
2022-01-07 11:57:08 +01:00
|
|
|
margin: 0 15px;
|
|
|
|
cursor: pointer;
|
2019-08-17 13:04:55 +02:00
|
|
|
}
|
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.overlay-modal {
|
|
|
|
padding-bottom: 10px;
|
2019-08-17 12:59:08 +02:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.modal-header h3 {
|
|
|
|
font-weight: 300;
|
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.modal-body {
|
|
|
|
height: 70vh;
|
|
|
|
text-align: center;
|
|
|
|
outline: none;
|
|
|
|
|
2019-08-19 08:53:27 +02:00
|
|
|
.help-table {
|
|
|
|
table-layout: fixed;
|
|
|
|
}
|
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
th {
|
|
|
|
font-weight: 400;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
td.operator {
|
|
|
|
font-size: 0.9em;
|
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
}
|
2017-03-19 20:30:47 +01:00
|
|
|
|
2018-01-25 01:14:18 +01:00
|
|
|
.hotkeys_table {
|
2019-03-20 15:04:54 +01:00
|
|
|
table-layout: fixed;
|
|
|
|
width: 100%;
|
2019-03-22 22:02:45 +01:00
|
|
|
vertical-align: middle;
|
2019-03-20 15:04:54 +01:00
|
|
|
display: table;
|
2019-08-17 12:59:08 +02:00
|
|
|
|
2019-03-20 15:04:54 +01:00
|
|
|
td.definition {
|
2020-09-15 22:23:01 +02:00
|
|
|
/* keeps dividing line at same width for all tables in model. */
|
2019-03-20 15:04:54 +01:00
|
|
|
width: calc(50% - 11px);
|
2019-03-22 22:02:45 +01:00
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hotkey {
|
|
|
|
font-weight: normal;
|
|
|
|
}
|
|
|
|
|
|
|
|
.small_hotkey {
|
|
|
|
font-size: 0.9em !important;
|
2019-05-24 19:08:43 +02:00
|
|
|
line-height: 12px;
|
2019-08-17 12:59:08 +02:00
|
|
|
|
2019-03-22 22:02:45 +01:00
|
|
|
kbd {
|
|
|
|
font-size: 0.9em;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-05-29 23:23:03 +02:00
|
|
|
.arrow-key {
|
2021-06-11 23:14:08 +02:00
|
|
|
font-size: 1.36em;
|
|
|
|
line-height: 1;
|
|
|
|
padding: 0 0.2em 0.2em;
|
2019-05-29 23:23:03 +02:00
|
|
|
}
|
2018-01-25 01:14:18 +01:00
|
|
|
|
2019-08-17 13:06:53 +02:00
|
|
|
th {
|
|
|
|
width: 245px;
|
|
|
|
text-align: center;
|
2020-09-15 22:23:01 +02:00
|
|
|
/* aligns table name with dividing line */
|
2019-08-17 13:06:53 +02:00
|
|
|
}
|
2018-01-25 01:14:18 +01:00
|
|
|
|
2019-08-17 13:06:53 +02:00
|
|
|
td:not(.definition) {
|
|
|
|
text-align: left;
|
2021-01-26 09:16:31 +01:00
|
|
|
white-space: normal;
|
2019-08-17 13:06:53 +02:00
|
|
|
font-weight: bold;
|
|
|
|
}
|
2019-03-22 22:02:45 +01:00
|
|
|
}
|
2019-03-22 09:18:39 +01:00
|
|
|
|
2018-01-25 01:14:18 +01:00
|
|
|
#keyboard-shortcuts table {
|
2019-03-20 15:04:54 +01:00
|
|
|
margin-bottom: 10px !important;
|
2018-01-25 01:14:18 +01:00
|
|
|
}
|
|
|
|
|
2021-02-04 02:49:05 +01:00
|
|
|
@media only screen and (width < $md_min) {
|
2019-08-17 13:04:55 +02:00
|
|
|
.informational-overlays {
|
|
|
|
.overlay-content {
|
|
|
|
width: calc(100% - 20px);
|
|
|
|
}
|
2017-03-19 20:30:47 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.tab-switcher {
|
|
|
|
display: flex;
|
2017-03-19 20:30:47 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
&.large .ind-tab {
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
}
|
2019-08-17 12:59:08 +02:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.table.table-condensed.table-striped {
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
}
|
2017-03-19 20:30:47 +01:00
|
|
|
|
2019-08-17 13:04:55 +02:00
|
|
|
.hotkeys_table {
|
|
|
|
width: 100%;
|
|
|
|
display: table;
|
|
|
|
}
|
2017-03-19 20:30:47 +01:00
|
|
|
}
|
|
|
|
}
|