/*
* {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: black;
}
Use Bootstrap fonts
*/

body {
	background-color: white;
	background-image: url('../images/brain_purple_cut.jpg');
	background-repeat: no-repeat;
}

/* Override bootstrap */

.nav-brand {
	font-size: 2.5em;
}

/*
input[type=text], textarea, select, option {
	background-color: #bcb;
}
*/

/* Override bootstrap */

input[type=text], textarea {
	width: 400px;
}

a { 
	color: blue;
	text-decoration: none;
}

a:visited {
	color: purple;
}

a:hover, a:active { 
	text-decoration: none;
	background-color: #bcb;
    opacity: .85;
}

/* end of default link styles */

h1 {
	color: #254117; /* darkgreen */
	/* background-color: #bcb; */
	padding: 5px;
    opacity: .85;
	width: 100%; /* required for IE to do opacity */
}

h2 {
	color: #254117; /* darkgreen */
	padding: 4px;
}

@media (max-width: 600px) {
	h1 { font-size: 1.75rem; }
	h2 { font-size: 1.4rem; }
}

/* Customize Lists */

/*
ul {
	margin-left: .2cm;
	padding-left: 0;
}
*/

.davekb-list {
	list-style-type: square;
}

@media (max-width: 600px) {
	.davekb-list {
		list-style-type: none;
		padding: 0;
	}
}

.davekb-list-item {
	white-space: nowrap;
	overflow: hidden;
	text-overflow: ellipsis;
	padding-top: .1em;	/* 2021nov2 */
	padding-bottom: .1em;	/* 2021nov2 */
}

.text {
	font-family: var(--font-family-monospace);
	/* font-family: var(--font-family-sans-serif); */
	padding: 5px;
	white-space: pre-wrap;
	color: black;

	/* To avoid google search console warning about "Content wider than screen" */
	overflow-wrap: break-word;
}

/* For code examples */

blockquote {
	font-family: var(--font-family-monospace);
	white-space: pre;
	padding: 5px;
	border: 1px solid transparent;
	border-radius: .4em;
	overflow: auto;
	/* The colors are from Bootstrap4's alert-secondary */
	color: #383d41;
	background-color: #e2e3e5;
	border-color: #d6d8db;
}

code {
	display: block;
	font-family: var(--font-family-monospace);
	white-space: pre;
	background-color: #ddd;
	padding: 5px;
	border: 1px solid #aaa;
	border-radius: .4em;
	overflow: auto;
}

/* Hide menu on phones */
/*
@media (max-width:767px) {
	#menubox {
		display: none;
	}
}

.menu ul {
	margin-left: .2cm;
	padding-left: 0;
}

.menu ul li {
	padding-top: 10px;
	list-style-type: none;
}
*/

/* Used in lists */
.date {
	color: #254117; /* darkgreen */
	font-size: 8pt;
	font-family: var(--font-family-monospace);	/* So lines up */
}

/* Search */

.search-table { font-size: 1.6em; }
.search-table td { padding: .7em; }
@media (max-width: 600px) {
	.search-table { font-size: 1.1em; }
	.search-table td { padding: .6em; }
}

.search-box {
	display: inline;	/* Overrides bootstrap */
	padding: .4em;
	font-size: 25px;
}

.search-button {
	margin-bottom: .4em;
}

/* Messages */

.bigletter {
	font-size: 40px;
	font-family: Times, serif;
	font-weight: bold;
	color: #ffaa44;
}

pre {
	/* font-family: monospace; - looks too light */
	color: black;	/* Bootstrap makes it #333 */
}

.mainbox {
	margin: .1em;
	padding: 1em;
	border: 1px solid gray;
	background-color: white;
	/* filter:alpha(opacity=85); /* for IE */
	opacity: .85;
}

.donatebox {
	background-color: #ccc;
	padding: 2px;
	border: 1px solid #ddd;
}

.donatebox * {
	font-size: 9px;
}

/* We use bootstrap for this now
.error {
	padding: 3px;
	margin-bottom: 10px;
	border: 3px solid #aaa;
	color: red;
	background-color: #bbb;
}

.warning {
	padding: 3px;
	margin-bottom: 10px;
	border: 3px solid #aaa;
	color: orange;
	background-color: #bbb;
}

.success {
	padding: 3px;
	margin-bottom: 10px;
	border: 3px solid #aaa;
	color: green;
	background-color: #bbb;
}
*/

/* Keywords */

.ten {
	font-size: 10pt;
}

.pad {
	padding-right: 1em;
	padding-bottom: 1em;
}

/* Search */

.suggestions {
	padding: 3px;
	margin-bottom: 10px;
	border: 3px solid #ddd;
	color: black;
	background-color: #eee;
}

.vspace {
	margin-top: .4em;
}

.copyright {
	font-size: .7em;
}