<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       {
  line-height: 1.2;
}
a          {
  text-decoration: underline;
}
a.label    {
  text-decoration: none;
}
h1         {
  padding: 0.5em 1em 1em 1.5em;
  text-align: right;
}
h2         {
  padding: 0.5em 1em 0.5em 1em;
  margin: 1em 0 1em 0;
  border-style: solid solid solid solid;
  border-width: 2px 10px 2px 10px;
}
p          {
  text-indent: 1em;
}
div.book   {
  text-align: right;
  font-weight: bold;
}
div.figure {
	text-indent: 0;
	text-align: center;
}
div.back   {
  margin: 1em 0 1em 0;
  text-indent: 0;
  text-align: right;
}
div.header {
  margin: 0 0 0.5em 0;
  text-align: center;
  font-weight: bold;
}
div.footer {
  font-size: 80%;
  text-align: right;
}
div.caption {
  text-align: center;
  font-weight: bold;
  margin-bottom: 1em;
}
div.assign {
	text-indent: -1em;
	margin: 1em 1em 1em 2em;
}
blockquote, dl, pre.source {
  margin-left: 5%;
  margin-right: 5%;
}
blockquote {
  padding: 0.5em 1em 0.5em 1em;
  border-width: 1px 1px 1px 1px;
  border-style: solid solid solid solid;
}
dt         {
  margin-top: 0.5em;
  font-style: normal;
  font-weight: bold;
}
li         {
  margin-top: 0.2em;
}
table      {
  margin-left: 5%;
  width: 90%;
}
th.number {
  width: 15%;
}
td.figure  {
  background-color: #ddeeff;
}
td.action  {
	background-color: #ffffff;
	vertical-align: top;
}
th.latex   {
  width: 30%;
}
pre        {
  background-color: #ffffff;
}
pre.source {
  padding: 0.5em 1em 0.5em 1em;
  border-width: 1px 1px 1px 1px;
  border-style: solid solid solid solid;
  font-family: menlo, consolas, monospace;
}
em         {
  font-style: normal;
  font-weight: bold;
}
strong     {
  font-style: normal;
  font-weight: bold;
}
kbd        {
  color: #007f00;
  font-family: sans-serif;
  font-weight: bold;
}
span.anon  {
  color: #ff3f00;
}
span.select{
  background-color: #c0c0c0;
}
span.type  {
	text-decoration: underline;
}
code.tag   {
  font-family: menlo, consolas, monospace;
}
.red       {
  color: #ff0000;
}
.green     {
  color: #00ff00;
}
.blue      {
  color: #0000ff;
}
.orange    {
  color: #ff4000;
}
.bgwhite   {
  background-color: #ffffff;
}
.bggray    {
  background-color: #cccccc;
}