.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;
}

/* 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;
}