<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 />
/* $Id: onlisp.css 21 2005-09-16 15:44:06Z nodakai $ */

div.figure {
    margin-left: auto;
    margin-right: auto;
    width: 90%;
}

code {
  background: #F5F5F5; /* whitesmoke */
  padding: 0ex .5ex;
  font-family: monospace;
}

pre {
  background: #F5F5F5; /* whitesmoke */
  padding: .5ex 3ex;
  font-family: monospace;
}

div.figure {
  border: navy solid;
  border-width: thin;
  padding: 1ex 2ex;
}

div.figure pre {
  padding: 1ex;
}

a[href]:hover, a[href]:focus {
	background: #7fffd4; /* aquamarine */
        text-decoration: none;
}

address { text-align: right; }

body {
    padding: 0ex 2%;
    line-height: 1.3;
}

dt { font-weight: bold; }

h1 {
	text-align: center;
	margin: 2ex;
}

h1 {
	text-align: center;
	margin: 2ex;
}

h1 a {
	padding: .6ex 2ex;
	border-color: navy;
	border-top-style: solid;
	border-bottom-style: solid;
}

h2 {
	margin: 2ex 0ex;
}

h2 a {
	border-color: blue;
	border-bottom-style: solid;
	padding: .2ex 1.5ex;
}

h3 {
	margin: 2ex 0ex;
}

h3 a {
	border-color: aqua;
	border-bottom-style: solid;
	border-width: thin;
	padding: .3ex 1ex;
}

hr {
    margin: 3ex 0ex;
}

img {
	border: solid white 1px;
	padding: .5ex;
}

strong {
    color: red;
    font-size: 2em;
}

table {
	margin: 0ex 2%;
}

table.linktbl {
	margin: 1ex 2%;
}

td.author {
	color: navy;
	text-align: center;
}

td.name {
	background: #32cd32; /* limegreen */
	color: white;
	text-align: center;
	padding: .8ex;
}

td.name a {
	background: white;
	padding: .2ex 1ex;
}

ul.abc {
    list-style-type: upper-alpha;
}