/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }

/* implement both fixed-size and relative sizes */
SMALL.XTINY		{ font-size : xx-small }
SMALL.TINY		{ font-size : x-small  }
SMALL.SCRIPTSIZE	{ font-size : smaller  }
SMALL.FOOTNOTESIZE	{ font-size : small    }
SMALL.SMALL		{  }
BIG.LARGE		{  }
BIG.XLARGE		{ font-size : large    }
BIG.XXLARGE		{ font-size : x-large  }
BIG.HUGE		{ font-size : larger   }
BIG.XHUGE		{ font-size : xx-large }

/* heading styles */
h1		{ color: #7b2e2e; margin: 2px auto; text-align:center; }
h2		{ color: #7b2e2e; padding: 8pt; }
h3		{ padding: 5pt; }
h4		{ padding: 3pt; }
h5		{ padding: 3pt; }

/* Remove the annoying underlines, but still keep it accessible */
a { text-decoration: none; }

/* mathematics styles */
DIV.displaymath		{ }	/* math displays */
TD.eqno			{ }	/* equation-number cells */


/* document-specific styles come next */
body { font-family: 'Droid Sans', Helvetica, Arial, sans-serif; }
h1, h2, h3 { 
    font-family: Puritan, Verdana, Helvetica sans-serif; 
    font-weight: bold;
}
code, pre { font-family: DroidSansMono, "Courier New", Courier, monospace; }

body {
		background: #fdfdfd;
		margin: 0; padding: 0;
}

#scrollcontainer {
	width:100%;
	margin: 0; padding: 0 0 2em;
	background: #ffffff;
	border-bottom: 3px solid #9c9c9c;
}

#splashscreen {
		width: 900px;
		margin: 20px auto;
		padding: 2px;
}

#splashscreen h2 { font-size: 300%; margin-bottom:2px; padding:2px; }
#splashscreen h3 { font-size: 150%; margin-top:2px; padding:2px; }
#splashscreen h4 { font-size: 125%; margin:2px auto; color:#006600; text-align: center; }
#splashscreen h5 { font-size: 125%; margin:2px auto; color:#006600; text-align: left; }
#keytraits {
		list-style-type: none;
		-moz-column-count: 3; -webkit-column-count: 3; column-count: 3;
}
#keytraits li { display: inline-block; }
#keytraits li p { color: #777777; font-size:100%; }
#capabilities { 
    margin-top: 1em;
    padding-top: 1em;
    border-top: 1px solid #cccccc; 
}
#capabilities h3 { margin-bottom: 5px; }
#capabilities ul {
	-moz-column-count: 2; -webkit-column-count: 2; column-count: 2;
	margin: 2px 5em;
}
#announcements { 
    margin-top: 1em;
    padding-top: 1em;
    border-top: 1px solid #cccccc; 
}
#announcements h3 { margin-bottom: 5px; }
#portability {
		-moz-column-count: 3; -webkit-column-count: 3; column-count: 3;
}
#portability > li { display: inline-block; }

#maincontainer {
		background: #fefefe; color: black;
		margin:3em auto 20px;
		padding:30px;
		width: 900px;
		-moz-border-radius: 20px; -webkit-border-radius: 20px; border-radius: 20px;
		border: 1px solid #ccc;
}

#logo {
  background:url('../images/charm_logo.jpg');
  background-repeat: no-repeat;
  float: left;
  position: relative;
  height: 50px;
  width: 50px;
  margin-right: 15px;
}


.pagetitle {
		display: inline-block;
		margin: 5px;
		text-align: center;
		font-weight: bold;
}

#pulldowntab {
	position: absolute;
	left: 50%; top: 0.75em;
	color: #999;
	-webkit-transform: rotate(90deg);
	-moz-transform: rotate(90deg);
	-o-transform: rotate(90deg);
	writing-mode: tb-rl;
}


ul.manual-toc {
		-moz-column-width: 32em;
		-webkit-column-width: 32em;
		column-width: 32em;
		display: none;
}

ul.manual-toc > li { font-weight: bold; }
ul.manual-toc > li > ul { font-weight: normal; }
ul.manual-toc,
ul.manual-toc ul { list-style-type: none; }
ul.manual-toc li a { color: #000; text-decoration: none; }
ul.manual-toc li a:hover { color: #7b2e2e; }


pre {
		background: #303030;
		color: #f9dfac;
		padding: 1em;
		margin: 10px auto;
		display: block;
		width: 750px;
		overflow-x: auto;
		border-radius: 4px;
		font-size: 100%;
}

span.textit		{ font-style: italic  }
span.textsl		{ font-style: italic  }
span.arabic		{   }
span.textbf		{ font-weight: bold  }
span.textsf		{ font-style: italic  }

#footer {
	margin: 4px auto 20px;
	padding: 0 30px;
	border: none;
	line-height: normal;
	font-size: 85%;
	font-weight: normal;
	font-style: normal;
	text-align: center;
	text-decoration: none;
	list-style-type: none;
	color: #394d4d;
}

#footer img { height: 15px; width: 80px; margin: 5px 5px 5px 0px; border: none; }
#footer a:link, #footer a:visited { color: #394d4d; text-decoration: none; border: none; font-weight: normal; }
#footer a:hover, #footer a:active { color: gray; text-decoration: none; border: none; font-weight: normal; }

#newsfeed {
	float:right;
	width: 250px;
	margin: 5px 10px 10px 20px; padding: 10px;
	background: #f5f5f5;
	border-left: 4px solid #9c9c9c;
	border-right: 4px solid #9c9c9c;
	border-radius: 8px;
	font-size: 80%;
}
#newsfeed h6 { text-align: center; font-size: 110%; margin:3px auto; }
#newsfeed ul { margin: 0; padding: 0; list-style-type: none; }
#newsfeed li { margin: 3px auto; min-height: 2em; border-bottom: 1px dotted #cccccc; }
#newsfeed li:last-child { border-bottom: none; }

.newsitem {}

.giturl {
    font-family: monospace;
    padding-left: 20pt;
}

p {
    padding-left: 20pt;
}

.benchmark {
    padding-bottom: 20px;
    border-top: 2px solid black;
}

body {
  padding-top: 20px;
  padding-bottom: 20px;
}

.navbar{
  margin-bottom: 20px;
}

.navbar-nav, .navbar-brand {
  font-size: 125%;
}