
/* ************************** */
/* Scrollable div and table go here. */
div.scrollableTable {
	height: 100px;
	overflow-y: auto;
	position: sticky;
	top: 0;
}

table.scrollableTable {
	width: 100%;
	border-collapse: collapse;
}

thead.scrollableTable {
	position: sticky;
	top: 0;
}
		

th.scrollableTable {
	position: sticky;
	top: 0;
	border: 1px solid #ccc;
	/*background: #eee; */
}

/* End scrollable div and table. */
/* ********************** */


/* Dark theme for all web pages */
/* Default values for all web pages. */
body {
	--low-contrast-border-color: CornflowerBlue;
	--sitewide-background-color: #131e26;
	font-size: 1em;
	font-family: Arial, Helvetica, sans-serif;
	
	color: #efefef;
	
	/* This is a color that I made up in my drawing in LibreOffice
	   This is very dark blue.
	 */
	background-color: var(--sitewide-background-color);
	
	/* This comes from CodeSignal */
	/*background-color: #11182c; */
}

.border {
	border:1px white solid;
}

.leftBorder {
	border-left: 1px white solid;
}

.rightBorder {
	border-right: 1px white solid;
}

.rightAndBottomBorder {
	border-right: 1px white solid;
	border-bottom: 1px white solid;
}

.bottomBorder {
	border-bottom: 1px white solid;
}

.topBorder {
	border-top: 1px white solid;
}

.personalMenuDiv {
	background-color: #303030;
}

.generalPurposeBorder {
	border: 1px white solid;
}

.lowContrastBorder {
	border: 1px var(--low-contrast-border-color) solid;
}

.lowContrastLeftBorder {
	border-left: 1px var(--low-contrast-border-color) solid;
}

.gentlePadding {
	padding: 5px;
}

.unchosenLoginOption {
	background: dimgray;
	color: black;
	border-bottom: 1px var(--low-contrast-border-color) solid;
}

.chosenLoginOption {
	border-top: 1px var(--low-contrast-border-color) solid;
	border-right: 1px var(--low-contrast-border-color) solid;
	border-left: 1px var(--low-contrast-border-color) solid;
}

/* Horizontally and vertically center the self. For example, on a div. */
.fullCenteringSelf {
	display: flex; 
	justify-content: center;
	align-items: center;
}