/* @gray-dark is #333 and is the text and line color */

A.navbar-brand { 
	font-family: Arial, Helvetica, sans-serif; 
	font-weight: bold; 
	font-size: 200%;
	white-space: nowrap;
}
.navbar-brand IMG { 
	float: left;
	margin: -12px 0.2em 0 0;
	height: 44px;
}

A.navbar-brand SUP, H1 SUP.reg { 
    font-size: 40%;
    position: relative; top: -1em; 
}
A.navbar-brand SUP { 
    color: gray;
}

H2 SUP.reg { 
    font-size: 50%;
    position: relative; top: -1em; 
}

SUP.reg { 
    font-size: 65%;
    position: relative; top: -0.7em; 
}

A.navbar-brand:link, 
A.navbar-brand:visited,
A.navbar-brand:hover { color: #202020; text-decoration: none; }


/* add a rule separator */
.rule { border-bottom:1px solid #333; padding-bottom:0.2em; }
H1.rule { color:#CC3333; }
H2.rule { color:#CC3333; width:75% }
H3.rule { color:#CC3333; width:75% }

/* red STI logo color */
.stred	{ color: #CC3333; }
.redcaps {
	font-family: Arial, Helvetica, sans-serif; 
	font-weight: bold; 
	color: #CC3333;
}

DIV.copyright {
	font-size: 	70%;
	margin: 	4em 20% 1em;
	padding: 	0.5em;
	text-align: 	center;
	border-top: 	1px solid #333;
	clear: both; /* avoid interference with floats */
}

UL.tight LI { margin-top: 0; margin-bottom: 0; }
UL.loose LI { margin-top: 1em; margin-bottom: 1em; }

DL.loose DD { margin-bottom: 1em; }

H1.sc4logo {
    color: blue;
    text-shadow: 2px 4px 3px rgba(0,0,0,0.3);
}
H1.sc4logo sub {
    color: #CC3333;
}


/* strings */
Q, .str { color:#B95004; }
.code Q:before, .fndecl Q:before { content: "\""; }
.code Q:after,  .fndecl Q:before{ content: "\""; }

/* comments */
.cmt { color:#03821B; }
.code I, .fndecl I { color:#03821B; font-style: normal; } /* comments */
.keyword { font-weight: bold; }
/* .fndef { font-weight: bold; color:#B95004; } */
.fndef { font-weight: bold; color:#0769fe; }


/* Bootstrap 4 margin utility classes - delete once available */
/* there are also .p-* padding classes if we want them */
.m-a-0 { margin: 0 !important;}
.m-t-0 { margin-top: 0 !important;}
.m-r-0 { margin-right: 0 !important;}
.m-b-0 { margin-bottom: 0 !important;}
.m-l-0 { margin-left: 0 !important;}
.m-x-0 { margin-right: 0 !important; margin-left: 0 !important;}
.m-y-0 { margin-top: 0 !important; margin-bottom: 0 !important;}

.m-a { margin: 1em !important;}
.m-t { margin-top: 1em !important;}
.m-r { margin-right: 1em !important;}
.m-b { margin-bottom: 1em !important;}
.m-l { margin-left: 1em !important;}
.m-x { margin-right: 1em !important; margin-left: 1em !important;}
.m-y { margin-top: 1em !important; margin-bottom: 1em !important;}
.m-x-auto { margin-right: auto !important; margin-left: auto !important;}

.m-a-md { margin: 1.5em !important;}
.m-t-md { margin-top:1.5em !important;}
.m-r-md { margin-right:1.5em !important;}
.m-b-md { margin-bottom:1.5em !important;}
.m-l-md { margin-left:1.5em !important;}
.m-x-md { margin-right:1.5em !important; margin-left: 1.5em !important;}
.m-y-md { margin-top: 1.5em !important; margin-bottom: 1.5em !important;}

.m-a-lg { margin: 3em !important;}
.m-t-lg { margin-top: 3em !important;}
.m-r-lg { margin-right: 3em !important;}
.m-b-lg { margin-bottom: 3em !important;}
.m-l-lg { margin-left: 3em !important;}
.m-x-lg { margin-right: 3em !important; margin-left: 3em !important;}
.m-y-lg { margin-top: 3em !important; margin-bottom: 3em !important;}