.definition { border:1px solid gray; background-color:#eeeeee; padding:5px; }
.theorem { border:1px solid black; background-color:#cccccc; padding:5px; }
.proof { background-color:#cccccc; padding:1px; font-weight:bold; }
.navLink { color:black; text-decoration:none; }
.navLink:hover { text-decoration:none; }
.navTable { border-top:none; border-bottom:none; border-collapse:collapse; border-color:gray; text-align:center; margin-bottom:50px; }

#text {margin:50px auto; }
.hotspot { padding-bottom:1px; border-bottom:1px dotted black; cursor:pointer }

#tt { position:absolute; display:block; }
#tttop { display:block; height:5px; margin-left:5px; overflow:hidden; }
#ttcont { display:block; padding:2px 12px 3px 7px; margin-left:5px; background-color:#cccccc; border:1px solid black; }
#ttbot { display:block; height:5px; margin-left:5px; overflow:hidden; }