/* the pre markup was derived from rubyStyle.css, the rest is from previous
iterations of my website http://repose.cx/. help yourself to bits you like. */

body {
  background-image: url(/zhenghaiyong/static/images/paper.gif);
  font: 17px/1.2 Courier, Bitstream Vera Sans, Tahoma, sans-serif;
  padding-left: 7%;
  padding-right: 5%;
  padding-bottom: 1em;
  margin: 0;
}

a {
  font-weight: bold;
  text-decoration: none;
  color: #00008b;
}

a:hover {
  background: var(--global-td-bg-color);
  color: #fff;
}

a.top, a:visited.top, a:link.top {
  color: #f5deb3;               /* wheat */
  line-height: 90%;
  position: relative;
  text-decoration: none;
  top: -19px;
}

a:hover.top {
  background: #2f4f4f;
  color: #fff;
}

#top img {
  float: none;
  margin-bottom: -5px;
  border-style: solid;
  border-width: 1px;
  border-color: #fffafa;	/* snow */
}

h1 {
  background-color: #2698BA;    /* dark slate gray */
  color: #f5deb3;               /* wheat */
  /*border: 1px solid black;*/
  font-family: "comic sans ms", Bitstream Vera Sans, Tahoma, SimHei, sans-serif;
  font-size: 144%;
  overflow: hidden;             /* don't crowd the menu */
  padding: 0;
  white-space: nowrap; 
  text-align: center;
}

h2 {
  border-bottom: solid 2px #708090; /* slate gray */
  clear: left;
  font-family: Courier, Bitstream Vera Sans, Tahoma, SimHei, sans-serif;
  font-size: 140%;
  font-weight: bold;
  text-transform: uppercase;
  margin-top: 1em;
  margin-bottom: .5em;
  overflow: hidden;             /* don't crowd the menu */
  padding-left: 3px;
  padding-right: 3px;
}
h2:first-letter {
  font-size: 150%;
}

h3 {
  border-bottom: solid 1px #708090; /* slate gray */
  border-left: solid 1px #708090;
  font-family: Courier, Bitstream Vera Sans, Tahoma, SimHei, sans-serif;
  font-size: 130%;
  margin-top: .7em;
  margin-bottom: .4em;
  margin-left: 3px;
  overflow: hidden;             /* don't crowd the menu */
  padding-left: 5px;
  padding-right: 5px;
}

h4 {
  border-bottom: dashed 1px #BEBEBE;    /* light gray */
  border-right: solid 2px #DCDCDC;      /* gainsboro */
  font-family: Courier, Bitstream Vera Sans, Tahoma, SimHei, sans-serif;
  font-size: 120%;
  margin-top: .5em;
  margin-bottom: .3em;
  overflow: hidden;             /* don't crowd the menu */
  padding-left: 7px;
  padding-right: 7px;
}

p {
  line-height: 1.5em;
  padding-left: 3px;
  padding-right: 3px;
}
p:first-letter { 
  font-size: 128%; 
  font-style: italic;
  font-weight: normal; 
  margin-right: 3px;
  bottom: 0;
}

hr {
  clear: right;
}

img {
  float: none;
  margin-bottom: -3px;
  padding: 0;
  border-style: solid;
  border-width: 0;
  border-color: #fffafa;	/* snow */
}

#im {
  clear: right;
}

pre {
  font: 90% "comic sans ms", Bitstream Vera Sans Mono, Courier New, sans-serif;
  white-space: pre;
  overflow: auto;
  max-height: 700px;
  border: #777 1px solid;
  padding: 0.3em;
  margin-left: 1em;
  margin-right: 1em;
  background-color: #feffff;
  color: #4b0082;   /* indigo */
}

.verse {
  font-size: 87%;
  white-space: pre;
  overflow: auto;
  line-height: 0.7em;
  max-height: 500px;
  margin-left: .7em;
  margin-right: .7em;
  padding-left: .7em;
  background-color: #e0ffff;
  color: #a020f0;
}

code {
  font: 90% "comic sans ms", monospace, Bitstream Vera Sans Mono, Courier New, sans-serif;
  color: #0033ff;
}

var {
  font: 90% "comic sans ms", monospace, Bitstream Vera Sans Mono, Courier New, sans-serif;
  color: #3333ff;
}

blockquote {
  font: 95% Bitstream Vera Sans Mono, Courier New, sans-serif;
  background-color: #f5f5f5;	  /* whitesmoke */
  padding: 0.5em;
  border: #777777 1px solid;
  margin-left: 1.2em;
  margin-right: 1.2em;
}

span.footdate {
  font-size: 95%;
  color: #9932cc;		/* darkorchid */
}

dt {
  font-family: Courier, Bitstream Vera Sans, Tahoma, SimHei, sans-serif;
  font-weight: bold;
  margin-top: .7em;
  margin-bottom: .5em;
}

dd {
  line-height: 1.4em;
}

li {
  margin-top: 0.9ex;
  margin-bottom: 0.9ex;
}

table {
  overflow: hidden;             /* don't crowd the menu */
  margin-top: 1em;
  margin-bottom: 1em;
  border: 0;
}

td {
  font-size: 98%;
  border-left: ButtonHighlight 1px solid;
  border-right: ButtonShadow 1px solid;
  border-top: ButtonHighlight 1px solid;
  border-bottom: ButtonShadow 1px solid;
  padding-left: 3px;
  padding-right: 2px;
  overflow: hidden;
  /*background: #ddeecc;*/
  background: var(--global-td-bg-color);
}

th {
  font-family: "comic sans ms", Bitstream Vera Sans, Tahoma, SimHei, sans-serif;
  font-size: 107%;
  border-left: ButtonHighlight 1px solid;
  border-right: ButtonShadow 1px solid;
  border-top: ButtonHighlight 1px solid;
  border-bottom: ButtonShadow 1px solid;
  padding-left: 3px;
  padding-right: 2px;
  overflow: hidden;
  /*background: #eeeecc;*/
  background: var(--global-th-bg-color);
}

.navfoot {
  margin-left: -28px;
  text-align: center;
}

/*menu*/
.menu {
  background: #fffafa;	/* #edf2f2; */
  color: white;
  border-left: 7px solid #e0e9e9;
  content: "";
  display: inline-table;
  float: right;
  padding: 0;
}

.menuitem {
  font: 95% "comic sans ms", Bitstream Vera Sans, Tahoma, SimHei, sans-serif;
  margin: 0;
  text-align: right;
}

.menuitem a:link, .menuitem a:visited {
  display: block;
  padding: 2px 10px 2px 10px;
  border-bottom: 1px solid #ddd;
  border-top: 1px solid #fff;
  border-right: 1px solid #ddd;
  color: #00008b;
  text-decoration: none;
}

.menuitem a:hover {
  color: #00008b;
  background: #cceeff;
}

/* Uncomment this if you want characters to appear before a menu
   entry when hovering the mouse over it.

.menuitem a:hover:before { content:\">> \"}
*/

.menu:before {
  /*color: transparent;*/
  display: block;
  content: "";
  border-bottom: 1px solid #ddd;
  text-align: center;
}

.menu:after {
  /*color: transparent;*/
  display: block;
  content: "";
  border-top: 1px solid #fff;
  text-align: center;
}

#tooltipbox {
  float: right;
  /*visibility: hidden;*/
}

#tooltip {
  color: #666;
}