<style>

body {
  font-size: 16px;
}

.small {
  font-size: 12px; /* 75% of the baseline */
}

.large {
  font-size: 20px; /* 125% of the baseline */
}

p {
    padding: 25px 50px;
}

.menu {
   float: left;
   margin: 5px;
   padding: 5px;
   width: 300px;
   height: 30px;
   border: 0px solid black;
}   

.main {
   float: left;
   margin: 5px;
   padding: 5px;
   width: 200px;
   height: 30px;
   border: 0px solid black;
}

</style><!--
     FILE ARCHIVED ON 05:20:07 Aug 25, 2017 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 09:40:36 May 29, 2019.
     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):
  LoadShardBlock: 624.516 (3)
  esindex: 0.012
  captures_list: 655.385
  CDXLines.iter: 15.581 (3)
  PetaboxLoader3.datanode: 76.277 (4)
  exclusion.robots: 0.472
  exclusion.robots.policy: 0.453
  RedisCDXSource: 6.052
  PetaboxLoader3.resolve: 793.112 (2)
  load_resource: 263.499
-->