a:visited { color: red; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
a:link { color: blue; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
a:hover { color: blue; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
a:active { color: green; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
body { background-color: #ff0 }
.bg_navi { color: black; font-size: 12pt; text-decoration: none }
.big_text { color: black; font-weight: bold; font-size: 18pt; font-family: "Times New Roman", Georgia, Times }
.blauer_text { color: #4169e1; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.pinker_text { color: #ef0863; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.roter_text { color: red; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.text { color: black; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.text_medium { color: black; font-size: 14pt; font-family: "Times New Roman", Georgia, Times }
.text_small { color: black; font-size: 10pt; font-family: "Times New Roman", Georgia, Times }

/*
     FILE ARCHIVED ON 14:34:05 Jul 21, 2003 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 03:37:40 Sep 16, 2025.
     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.787
  exclusion.robots: 0.032
  exclusion.robots.policy: 0.014
  esindex: 0.016
  cdx.remote: 7.265
  LoadShardBlock: 56.965 (3)
  PetaboxLoader3.datanode: 63.006 (4)
  load_resource: 179.991
  PetaboxLoader3.resolve: 137.102
*/