/*
	rgb(65, 105, 225); -- HTML Royal Blue
	rgb(51, 51, 51); -- Crayon Tungsten
	rgb(0, 64, 128); -- Crayons Ocean
	rgb(0, 128, 64); -- Crayons Moss
	rgb(255, 128, 0); -- Crayons Tangerine
	rgb(225, 110, 52); -- ??? Crayons Tangerine ???

@import url(https://fonts.googleapis.com/css?family=Fira+Sans);
*/

@import url(/styles/fonts.css);

ul.no-bullet {
    list-style: none; }

a.plain {
    text-decoration: none; }

div.copyright a:after {
	content: ''; }

a:link {
	color: rgb(64, 64, 64);
	background: transparent; }

a:active {
	color: rgb(64, 64, 64);
	background: transparent; }

a:visited {
	color: rgb(64, 64, 64);
	background: transparent; }

a:hover {
	color: white;
	background: rgb(64, 64, 64); }

.title a:hover {
	text-decoration: none;
	background: transparent; }

body {
	font-family: "FiraGO", sans-serif;
	font-size: medium;
	color: rgb(64, 64, 64);
	background-color: white;
	width: 800px;
	margin-left: auto;
	margin-right: auto; }

h1 {
	font-family: "FiraGO", sans-serif;
	font-size: x-large;
	font-weight: bold;
	color: rgb(225, 110, 52); }

h2 {
	font-family: "FiraGO", sans-serif;
	font-size: large;
	font-weight: bold;
	color: rgb(225, 110, 52); }

img {
	border: 0; }

div.important {
	border: solid rgb(225, 110, 52); }

div.copyright {
	font-family: "FiraGO", sans-serif;
	font-size: small;
	color: rgb(64, 64, 64); }

div.splash {
    text-align: center; }

/*
div.banner {
	display: none;
}
*/

div.navigation {
	display: none;
}

span.paper-title {
	color: rgb(225, 110, 52);
	font-style: italic; }

span.name {
	color: rgb(64, 64, 64);
	font-weight: bold; }

span.small {
	font-size: small; }

span.strong {
	font-weight: bold; }

span.emph {
	font-style: italic; }