2019-10-03 14:04:22 +00:00
|
|
|
.vram-viewer-button-bar {
|
|
|
|
margin-bottom: 4px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.vram-viewer-button-bar button {
|
|
|
|
padding: 2px 4px;
|
|
|
|
min-height: 11px;
|
|
|
|
min-width: 12px;
|
|
|
|
font-size: 0.8rem;
|
2019-10-07 22:36:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* dark theme for the console, based on GNOME Terminal colors */
|
|
|
|
.debug-console,
|
|
|
|
.debug-console entry,
|
|
|
|
.debug-console scrolledwindow,
|
|
|
|
.debug-console textview,
|
|
|
|
.debug-console textview text {
|
|
|
|
background: #2E3436;
|
|
|
|
color: #D3D7CF;
|
|
|
|
font-size: 12px;
|
|
|
|
border-color: #3d4548;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug-console entry {
|
|
|
|
background: #252a2c;
|
|
|
|
border: none; /* 1px solid #1d2022 */
|
|
|
|
border-radius: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug-console .border-none {
|
|
|
|
border-top: none;
|
|
|
|
border-left: none;
|
|
|
|
border-bottom: none;
|
|
|
|
border-right: none;
|
|
|
|
border: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug-console .border-right {
|
|
|
|
border-right: 1px solid #3d4548;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug-console .border-bottom {
|
|
|
|
border-bottom: 1px solid #3d4548;
|
|
|
|
}
|
|
|
|
|
2020-05-17 20:51:27 +00:00
|
|
|
.monospace {
|
|
|
|
font-family: monospace;
|
|
|
|
}
|