Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
/*------------------------------------------------------------------- menu and body (= css magic ;-) -------------------------------------------------------------------*/ body { padding: 0pt ; margin: 0pt ; color: #444 } .body { margin: 1.2em 16% 0% 16% ; padding-top: 0em ; font-family: serif } h1 { padding: 0pt ; margin: 1ex 16% 0ex 16% } ul.menu { float: left ; padding: 1ex 0ex 1ex 0ex ; margin: -1px 1ex 1ex 3ex } ul.menu { border: solid 1px ; background-color: #eee ; font: 70% sans-serif ; list-style: none } .menu li { margin: 0em 0.5em 0.2em 0.5em ; padding: 0pt } .menu a { text-decoration: none ; border-left: #c0c0c0 1em solid ; padding-left: 0.5em ; color: #444 } .menu a:visited { color: #444 } .menu a:hover { color: black ; border-left-color: #555 } /*------------------------------------------------------------------- General style -------------------------------------------------------------------*/ h1 { font: 175% sans-serif} h2 { font: 160% sans-serif} h3 { font: 140% sans-serif} h4 { font: 120% sans-serif} h2 { margin-top: 2ex ; margin-bottom: 0pt } h1,h2 { border-bottom: solid 1px } a:link { color: black } a:visited { color: #444 } pre, code, strong { color: black } td { vertical-align: top } /* definition lists */ dt { font-weight: bold ; font-family: sans-serif ; margin-bottom: 1.25ex } dd { margin-bottom: 2.5ex } dd p { margin-top: 1.25ex ; margin-bottom: 1.25ex } dd ul { padding-left: 1em } /*------------------------------------------------------------------- New elements -------------------------------------------------------------------*/ .abstract { font-style: italic } .quicklinks { font-weight: normal ; font-family: serif ; padding-left: 1ex } .date { text-align: right ; font-size: smaller ; border-top: 1px solid ; margin-top: 4ex } .math { font-style: italic } .license { padding-left: 2em ; padding-right: 2em ; font-style: italic } .quad { padding-right: 4ex } .mypicture { float: right ; border: none ; margin: 0ex 0ex 2ex 2ex } .logo { float: right ; border: none ; margin: 0ex 0ex 2ex 2ex } .hitcounter { margin: 0pt ; border: none } /*------------------------------------------------------------------- Thumbnail gallery -------------------------------------------------------------------*/ div.spacer { clear: both ; margin-top: -5ex ; margin-bottom: 0pt ; padding: 0pt } ol.thumbs { padding: 0pt ; margin: 0pt ; margin-top: 2ex } ol.xthumbs { padding: 0pt ; margin: 0pt ; margin-top: 2ex } .thumbs li { font: 70% sans-serif ; padding-left: 2ex ; width: 150px ; height: 15em ; float: left ; list-style: none ; text-align: center } .xthumbs li { font: 70% sans-serif ; padding-left: 2ex ; width: 120px ; height: 12em ; float: left ; list-style: none ; text-align: center } .thumbs p { margin-top: -2px } .thumbs img { border: none } .xthumbs p { margin-top: -2px } .xthumbs img { border: none } .thumbnail { height: 90px; width: 120px } .thumbnailr { height: 120px; width: 90px } .xthumbnail { height: 56px; width: 75px } .xthumbnailr { height: 75px; width: 56px } .disclaimer { font: 70% sans-serif } /*------------------------------------------------------------------- New thumbnails -------------------------------------------------------------------*/ .description { font: 160% sans-serif ; border-bottom: solid 1px black } .navigation { float: left ; margin-top: 3px ; padding-right: 20px ; padding-left: 10px } span.navprev { padding-left: 4px } span.navnext { padding-left: 4px } .display { text-align: center } .display img { border: solid 1px black } .thumbnails { padding: 0pt ; margin: 0pt ; margin-top: 2ex } .thumbnails li { font: 70% sans-serif ; padding-left: 2ex ; width: 150px ; height: 150px ; float: left ; list-style: none ; text-align: center } .thumbnails p { margin-top: -2px } .thumbnails img { border: none } /*------------------------------------------------------------------- IE bug fixes see -------------------------------------------------------------------*/ /* fix for IE bug: the infamous 3px jog on floats \*/ * html .body { height: 1% } /* end of IE fix */ /* fix for IE bug: float margin is duplicated \*/ * html ul.menu { margin-left: 2ex } /* end of IE fix */ /* fix for IE bug: italic text extends outside the box \*/ * html .abstract { width: 98% } * html .license { width: 98% } /* end of IE fix */ /* FILE ARCHIVED ON 16:18:30 Feb 13, 2006 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 16:41:55 Dec 17, 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.936 exclusion.robots: 0.085 exclusion.robots.policy: 0.067 esindex: 0.013 cdx.remote: 446.654 LoadShardBlock: 398.865 (3) PetaboxLoader3.datanode: 155.943 (4) PetaboxLoader3.resolve: 308.406 (2) load_resource: 121.679 */