@import url(http://fonts.googleapis.com/css?family=Lustria|Amatic+SC|Open+Sans);
/*Same as @import url(http://fonts.googleapis.com/css?family=Lustria|Amatic+SC); */
/*From http://www.localfont.com/ */
/*@font-face {
  font-family: 'Lustria';
  font-weight: 400;
  font-style: normal;
  src: url('http://renatofonseca.net/fonts/Lustria-regular/Lustria-regular.eot');
  src: url('http://renatofonseca.net/fonts/Lustria-regular/Lustria-regular.eot?#iefix') format('embedded-opentype'),
       local('Lustria'),
       local('Lustria-regular'),
       url('http://renatofonseca.net/fonts/Lustria-regular/Lustria-regular.woff2') format('woff2'),
       url('http://renatofonseca.net/fonts/Lustria-regular/Lustria-regular.woff') format('woff'),
       url('http://renatofonseca.net/fonts/Lustria-regular/Lustria-regular.ttf') format('truetype'),
       url('http://renatofonseca.net/fonts/Lustria-regular/Lustria-regular.svg#Lustria') format('svg');
}

@font-face {
  font-family: 'Amatic SC';
  font-weight: 400;
  font-style: normal;
  src: url('http://renatofonseca.net/fonts/Amatic-SC-regular/Amatic-SC-regular.eot');
  src: url('http://renatofonseca.net/fonts/Amatic-SC-regular/Amatic-SC-regular.eot?#iefix') format('embedded-opentype'),
       local('Amatic SC Regular'),
       local('Amatic-SC-regular'),
       url('http://renatofonseca.net/fonts/Amatic-SC-regular/Amatic-SC-regular.woff2') format('woff2'),
       url('http://renatofonseca.net/fonts/Amatic-SC-regular/Amatic-SC-regular.woff') format('woff'),
       url('http://renatofonseca.net/fonts/Amatic-SC-regular/Amatic-SC-regular.ttf') format('truetype'),
       url('http://renatofonseca.net/fonts/Amatic-SC-regular/Amatic-SC-regular.svg#AmaticSC') format('svg');
}
*/
/* Good choices for title: */

/*Amatic SC , 400%*/
/*Yeseva+One, 300%*/
/*Boogaloo, 400% (not so good)*/

/* Good choices for text: */
/* Lustria */

 body
{
width:700px;
margin-left: auto;
margin-right: auto;
margin-top:0px;

font-family:Lustria,serif;
font-weight:Normal;
color:#4b4b4b;
font-size:95%;
text-align:justify;
line-height:170%;

} 
h1 {font-family:"Amatic SC", cursive;font-size:400%;text-align: center;color:#ae0029}
h1.randomThemes {font-family:"Amatic SC", cursive;font-size:400%;text-align: center;color:#ae0029; line-height:20%; padding-bottom:0.5em;}
h2 {font-size:130%;text-align: center}
h4.randomThemes {font-size:100%;text-align: center; line-height:0%}

text.modelNames {
	font-size:100%;
	font-weight:Bold;
	/* color:#ae0029; */
	/* text-decoration: underline */		
}

text.programVersion {
	font-size: 85%;	
}
text.creditsTitles {
font-size: 85%;	
line-height:150%;
}
text.code {
	font-size: 100%;
	font-family:Consolas,courier;
	font-weight:Normal;
}
img.links {
/* vertical-align: middle; */
vertical-align: -15%;
 }
 
 img.centered {
display: block;
margin-left: auto;
margin-right: auto;
 }
 
 
table.style1 {
	margin-left: auto;
	margin-right: auto;
	text-align: center;
	line-height:100%;
	border-width: 1px;
	border-spacing: 0px;
	border-style: outset;
	border-color: #969696;
	border-collapse: collapse;
	background-color: rgba(174,0,41,0.05);
}
table.style1 th {
	border-width: 1px;
	padding: 10px;
	border-style: solid;
	border-color: #969696;
	background-color: white;	
}
table.style1 td {
	border-width: 1px;
	padding: 10px;
	border-style: solid;
	border-color: #969696;
	background-color: white;	
}

 

#end {
line-height:120%;
font-size: 100%;
color:#969696;
text-align: center;
}

.disclosurePanelStyle {
font-family:Lustria,serif;
font-weight:Normal;
color:#4b4b4b;
font-size:100%;
text-align: justify;
line-height:170%;
}


.disclosurePanelStyle .header,
.disclosurePanelStyle .header a,
.disclosurePanelStyle .header td {
font-family:Lustria,serif;
font-weight:Bold;
color:#4b4b4b;
font-size:100%;
text-align: justify;
line-height:170%;
}

.gwt-CaptionPanel {
	color: #4b4b4b;
}
.fractalOptions {
	color: #ae0029;
}

.coordinatesLabelsStyle {
	color:#969696;
	font-size: 85%;
	
}

.smallText {
	color:#969696;
	font-size: 85%;
	
}



/* ++++++++++++++++++++++++++++++++++++++++ NAVIGATION BAR ++++++++++++++++++++++++++++++++++++++++ */
/* ++++++++++++++++++++++++++++++++++++++++ NAVIGATION BAR ++++++++++++++++++++++++++++++++++++++++ */
/* ++++++++++++++++++++++++++++++++++++++++ NAVIGATION BAR ++++++++++++++++++++++++++++++++++++++++ */

.topnav {
  margin-left: -50px;

  /*min-width: 100%; */
  overflow: hidden;
  display: flex;
  background-color: rgb(255, 255, 255);
  font-family: Lustria, Arial, Helvetica, sans-serif;
  font-weight: normal;
  text-align: center;
  width: 800px;
  border: 0px;
  border-bottom: 0px;
  border-top: 0px;
  border-style: solid;
  border-color: #d6d6d644;
}
  
  .topnav a {
    flex-grow: 1;
    float: left;
    color: #2e2e2e;
    text-align: center;
    padding: 8px 16px;
    text-decoration: none;
    font-size: 110%;
  }
  
  .topnav a:hover {
    background-color: #4b4b4b;
    color: white;
  }
  
  .topnav a.active {
    background-color: #ae0029;
    color: white;
  }

  html { overflow-y: scroll; }