/* If the screen size is 601px wide or more, set the font-size of <div> to 80px */
@media screen and (min-width: 601px) {
  .head {
    font-size: 3vw;
    font-family:stencil; 
    color:red;
  }
}

/* If the screen size is 600px wide or less, set the font-size of <div> to 30px */
@media screen and (max-width: 600px) {
  .head {
    font-size: 5vw;
    font-family:stencil; 
    color:red;
  }
}

.top {
    background-color: #16faf6;
    display:block;
    margin:auto;
    max-width:800px;
	padding: 10px 20px;
	border-top:solid 2px red;
	font-size:1.2em;
	font-weight:bold;
    }
.top_button {
    background-color: #16faf6;
    width:20px;
	border:none;
	}

.content {
    background-color: #fff;
    display:block;
    margin:auto;
    max-width:800px;
	padding: 10px 20px;
    }
	
.fac_heading {
	background-color:#aaf; 
	font-size:1.1em;
	font-weight:bold;
}

.floating-menu {
	display:none;
    font-family: sans-serif;
    color:red;
    background: #333;
    padding: 10px;
    width: 350px;
    z-index: 100;
    position: fixed;
    right: 12px;/* You can change float left/right */
  }
/*
     FILE ARCHIVED ON 19:08:11 Mar 28, 2024 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 15:29:57 Aug 26, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.384
  exclusion.robots: 0.03
  exclusion.robots.policy: 0.022
  esindex: 0.006
  cdx.remote: 8.656
  LoadShardBlock: 90.288 (3)
  PetaboxLoader3.datanode: 71.076 (5)
  PetaboxLoader3.resolve: 72.153 (2)
  load_resource: 160.816
  loaddict: 86.598
*/