2017-01-10 01:15:18 +01: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. */
|
2017-02-14 03:09:33 +01:00
|
|
|
width: 550px;
|
2017-01-10 01:15:18 +01:00
|
|
|
margin: 0 auto;
|
|
|
|
position: relative;
|
|
|
|
top: calc((30vh - 50px) / 2);
|
|
|
|
border-radius: 4px;
|
|
|
|
overflow: hidden;
|
|
|
|
|
2017-11-13 16:34:06 +01:00
|
|
|
background-color: hsl(0, 0%, 100%);
|
2017-01-10 01:15:18 +01:00
|
|
|
}
|
|
|
|
|
2017-02-01 20:51:25 +01:00
|
|
|
.informational-overlays .overlay-tabs {
|
|
|
|
padding: 10px 0px;
|
2018-01-24 21:19:13 +01:00
|
|
|
border-bottom: 1px solid hsla(0, 0%, 0%, 0.2);
|
2017-02-01 20:51:25 +01:00
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2017-02-01 20:51:25 +01:00
|
|
|
.informational-overlays .overlay-tabs .tab-switcher {
|
2017-03-14 16:36:22 +01:00
|
|
|
margin-left: 15px;
|
2017-02-01 20:51:25 +01:00
|
|
|
}
|
2017-01-10 01:15:18 +01:00
|
|
|
|
2017-02-01 20:51:25 +01:00
|
|
|
.informational-overlays .overlay-tabs .exit {
|
|
|
|
float: right;
|
2017-03-13 22:44:50 +01:00
|
|
|
font-size: 1.5rem;
|
2018-10-12 07:22:46 +02:00
|
|
|
color: hsl(0, 0%, 67%);
|
2017-02-01 20:51:25 +01:00
|
|
|
font-weight: 600;
|
|
|
|
margin: 1px 15px;
|
2017-01-10 01:15:18 +01:00
|
|
|
}
|
|
|
|
|
2017-02-01 20:51:25 +01:00
|
|
|
.informational-overlays .overlay-modal {
|
|
|
|
padding-bottom: 10px;
|
2017-01-10 01:15:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays .overlay-modal .modal-body {
|
|
|
|
height: 70vh;
|
2017-02-14 03:09:33 +01:00
|
|
|
text-align: center;
|
2017-08-29 00:45:41 +02:00
|
|
|
outline: none;
|
2017-01-10 01:15:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays .overlay-modal .modal-header h3 {
|
|
|
|
font-weight: 300;
|
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays .overlay-modal .modal-body th {
|
|
|
|
font-weight: 400;
|
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays td.operator {
|
|
|
|
font-size: 0.9em;
|
|
|
|
}
|
2017-03-19 20:30:47 +01:00
|
|
|
|
2018-01-25 01:14:18 +01:00
|
|
|
.hotkeys_table {
|
|
|
|
width: 247px;
|
|
|
|
/* this is because some generic setting for striped tables in settings.css
|
|
|
|
overrides this. */
|
|
|
|
margin: 5px !important;
|
|
|
|
font-size: 90%;
|
|
|
|
display: inline-block;
|
|
|
|
vertical-align: top;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hotkeys_table:not(.hotkeys_full_table) th {
|
|
|
|
width: 245px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hotkeys_table .hotkey {
|
|
|
|
font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
|
|
|
|
text-align: right;
|
|
|
|
font-weight: bold;
|
|
|
|
font-size: 90%;
|
|
|
|
white-space: nowrap;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hotkeys_full_table {
|
|
|
|
display: table;
|
|
|
|
width: calc(100% - 11px) !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hotkeys_full_table td.hotkey {
|
|
|
|
/* this is to keep the <td> for hotkey the same width as the two-col layout. */
|
|
|
|
width: 131px;
|
|
|
|
}
|
|
|
|
|
|
|
|
#keyboard-shortcuts table {
|
|
|
|
margin-bottom: 10px;
|
|
|
|
}
|
|
|
|
|
2017-03-19 20:30:47 +01:00
|
|
|
@media only screen and (max-width: 768px) {
|
|
|
|
.informational-overlays .overlay-content {
|
|
|
|
width: calc(100% - 20px);
|
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays .tab-switcher.large .ind-tab {
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays .tab-switcher {
|
|
|
|
display: flex;
|
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays .table.table-condensed.table-striped {
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
}
|
|
|
|
|
|
|
|
.informational-overlays .hotkeys_table {
|
|
|
|
width: 100%;
|
|
|
|
display: table;
|
|
|
|
}
|
|
|
|
}
|