/* Archivo Black is vendored via /static/vendor/fonts/fonts.css */
:root {
	--font-product-name: "Archivo Black";
	}
body {
	padding-top: 65px;
	}
.divMenuProductName {
	font-family: var(--font-product-name);
	font-size: 32px;
	letter-spacing: -1px;
	margin-top: 4px;
	opacity: 0.7;
	color: black;
	}
.divThemeVersion { /* 5/24/26 by DW */
	font-size: 14px;
	float: right;
	padding-top: 15px; 
	padding-right: 12px;
	cursor: pointer;
	}
.divTabsFromOutline { /* 5/27/26 by DW -- used in settings dialog */
	font-size: 16px;
	}

.divAboutDialogText ul { /* 6/28/26 by DW */
	list-style-type: none;
	margin: 0;
	padding-top: 10px;
	}
.divAboutDialogText li {
	margin-top: 5px;
	line-height: 140%;
	}