<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
body 
{ padding: 0pt; margin: 0pt; text-align: justify; background: white; 
  font-family:georgia,serif; }

acronym { font-variant : small-caps; text-transform : lowercase}
a { color: blue; text-decoration : none }
a:hover { text-decoration : underline }

div.navbar 
{ text-align: center; padding: 4px; border-bottom: 1px solid black;
  font-family:verdana,arial,sans-serif;
  font-weight: bold;
  font-variant: small-caps;
  font-size: 130%; 
  font-stretch: ultra-expanded; }

div.navbar a { color: black; padding: 4px 10px 5px 10px;}
div.navbar a:hover { text-decoration: none; color: white; background: black; }
div.navbar a#zeta 
{ font-family: serif; font-variant: normal; background: transparent; }

div.navbar a.current { color: white; background: black; }

div.main { max-width: 80ex; min-width: 40ex; margin: 2em 10% 2em 10%}

div.content {margin-top: 2em}

h1 { }
h3 {  font-variant : small-caps; margin-top : 3em }
hr { border-style : none; padding-top:1px; border-bottom:1px solid black }
/* footer */
div.footer { padding-top: 1px; font-size : 90% }

/* publications */
div.pub { margin-left: 1em; margin-bottom : 2em }
div.pub p { margin-top: 0; margin-bottom: 0; }
div.pub p.title { font-weight : bold; text-indent : -1em; }
div.container { margin-top: 0.8em }
div.container span.title { font-weight : normal; font-style : italic }

.small { font-size : 90% }
.release { font-weight : normal; font-size : 60% } 
/*
     FILE ARCHIVED ON 16:27:47 Jul 08, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 03:17:31 Dec 15, 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.856
  exclusion.robots: 0.066
  exclusion.robots.policy: 0.053
  esindex: 0.009
  cdx.remote: 15.054
  LoadShardBlock: 99.078 (3)
  PetaboxLoader3.datanode: 109.882 (4)
  PetaboxLoader3.resolve: 85.822 (2)
  load_resource: 104.085
*/