/*
    Styles for Interactive Real Anaysis
*/

a { color: #455372;  text-decoration: none }
a:hover { color: #455372; }
a:active { color: #455372; }

#highlight{
  	padding: 5px;
  	padding-top: 20px;
	display:block;
	font-weight:bold;
}


#link {
	text-align: right;
	padding: 10px;
	font-size:smaller;
}

#def { margin-left: 20px; padding: 10px; }
#def a { color: #ffffff; }
#def a:hover { color: #ffffff; }
#def a:active { color: #ffffff; }

#thm {  margin-left: 20px; padding: 10px; }
#thm a { color: #ffffff; }
#thm a:hover { color: #ffffff; }
#thm a:active { color: #ffffff; }

#prop { margin-left: 20px; padding: 10px; }
#prop a { color: #ffffff; }
#prop a:hover { color: #ffffff; }
#prop a:active { color: #ffffff; }

#lemma { margin-left: 20px; padding: 10px; }
#lemma a { color: #ffffff;  text-decoration: none }
#lemma a:hover { color: #ffffff; }
#lemma a:active { color: #ffffff; }

#ex { margin-left: 20px; padding: 10px; }
#ex a { color: #ffffff;  text-decoration: none }
#ex a:hover { color: #ffffff; }
#ex a:active { color: #ffffff; }