/* Inspired by Template 17 by Liz, http://community.livejournal.com/thefulcrum/ */

/* Links ------------------------------------------ */

a:link, a:link span.tex {
   color: #00c;           /* 00a dark blue; was #20b */
   text-decoration: none;
}
a:visited, a:visited span.tex { 
   color: #080;           /* 9DA7FF powder blue, 390; was khaki #817131; khaki #817131; #4C8F10 sage-green */
   text-decoration: none;
}
a:hover, a:hover span.tex { 
   text-decoration: underline;
}
/* From http://www.electrictoolbox.com/add-offsite-link-icon-after-external-links-css/ */
/* a[href^="http://"] {
    background: url(external.png) center right no-repeat;
    padding-right: 13px;
} */
/* Headings --------------------------------------- */

h1, h2, h3, h4, h5, h6, strong, dt, th, .sans, span.mininav, div#datemodified { 
   font-family: "Lucida Sans Unicode", "Lucida Sans", "Myriad Pro", "Trebuchet MS", Verdana, Arial, sans-serif;
}
h4, h5, h6, strong, dt, .project {
   color: #42361C;      /* dark brown; 716131 medium-dark khaki */
}
h1, h2, h3 {
   color: #716131;   /* #716131 medium-dark khaki */
}
h1, h2 {
   border-bottom: 1px solid #c3b091;    /* c3b091 tan */
}
h1 {
   padding-top: 1.5em;
   margin-top: 0em;
   padding-bottom: 1em;
   margin-bottom: 0.5em;
   text-align: center;
}
h1.noline {
   padding-bottom: 0.5em;
   border: none;
}
h1.vsqueeze {
   padding-top: 0.8em;
   padding-bottom: 0.5em;
}
h2 {
   padding-bottom: 0.3em;
}
h2.vsqueeze {
   padding-top: 0.5em;
}
strong, th, dt {
   font-weight: bold;
   font-size: 0.95em;
}
/* Containers ------------------------------------- */

body {
   background-color: #fff;     /* white, previously fff8e0 */
   color: #000;                /* black */
   margin: 0px; 
   font-size:100%;
   line-height: 1.3em;
} 
div#topleft {
   padding: 0px;
   margin: 0px;
   line-height: 1em;
   font-size: small;
   float: left;
}
div#topright {
   padding: 0px;
   margin: 0px;
   line-height: 1em;
   font-size: small;
   float: right;
}
span.hide {
   color: #fff;
   text-decoration: none;
}
div.outer {
   max-width: 35em;
   margin-left: auto;
   margin-right: auto;
   padding: 0em;
}
div.topnav, div.subnav {
   text-align: center;
   font-size: small;
   color: #716131;
}
div.topnav {
   padding-bottom: 0.3em;
   padding-top: 0em;
   margin-bottom: 0em;
   margin-top: 0em;
}

div#datemodified {
   border-top: 1px solid #c3b091; /* tan */
   text-align: left;  // not strictly necessary
   color: #c3b091;
   font-size: x-small;
   margin-bottom: 0em;
   padding-bottom: 0em;
}
img#tienyu {
   float: right;
   border: 1px solid #c3b091;
}
span.mininav {
   float: right;
}
.mininav, .nav {
   color: #999;
}

/* Lists ------------------------------------------ */
/* ------ To do - Make a navigation menu with lists: http://www.alistapart.com/articles/taminglists/ */

/* ul, ul.flat {
   list-style: url(img/sage_darkbullet.gif);  // list-style: square;
}
ul ul {
   list-style: url(img/sage_lightbullet.gif);  // list-style: square;
} */
/* ul li { color: #c3b091; }
   ul li span { color: #000; } 
   li { color: #000; }
*/
p.vsqueeze {
   padding-top: 0em;
}
span.squeeze {
   font-size: 0.95em;
}
ul p.vsqueeze, ol p.vsqueeze {
   margin-top: 0em;
}
.para ul.vsqueeze li, .para ol.vsqueeze li {
   padding-bottom: 0em;
   margin-bottom: 0em;
}
ul.para li, ol.para li {
   padding-bottom: 0.6em;
}
ul.vsqueeze, ol.vsqueeze {
   padding-bottom: 0em;
}
ul.squeeze, ol.squeeze {
   padding-top: 0em;
   margin-top: 0em;  // this is what really makes the difference
   margin-left: 0em;
   padding-left: 1.3em;
   padding-bottom: 0em;
   margin-bottom: 0em;
}
/* ul.flat won't become a centered list with list bullets. 
   To get bullets you need float: left instead of display: inline, 
   but then it won't center.
ul.flat li {
   float: left; // display: inline;
   margin-left: 1.3em;
}
ul.flat {
   text-align: center;
   list-style: url(format/sage_darkbullet.gif);  // list-style: square;
}  */

/* Image-type stuff ------------------------------- */

img#me {
   border: 1px solid #c3b091;    /* tan */
   float: right;
   margin-top: 0.3em;
   margin-right: 1em;
   margin-left: 1em;
   margin-bottom: 1em;
}
#splash {
   text-align: center;
//   color: #999; 
//   font-size: 1.5em;
   color: #ccc; 
   font-size: 1.3em;
   line-height: 1.2em;
}
.sans {
   font-size: 0.9em;
   font-weight: normal;
}
.hi {
   padding-left: 0.1em;
   padding-right: 0.1em;
   background: #ff0;
}
hr {
   color: #c3b091;
   height: 1px;
}
dd {
   margin-left: 1.5em;
   padding-bottom: 1em;
}
dd p {
   margin-top: 0.8em;
   margin-bottom: 0.8em;
}
dt {
   padding-top: 0em;
   padding-bottom: 0.3em;
}
/* Tables ----------------------------------- */
table, td, th {
   border-collapse:collapse;
   border: 1px solid #080;
}
td, th {
   text-align: left;
   padding: 0.2em;
}
th {
   background-color: #080;
   color: #fff;
   vertical-align: middle;
}
td {
   vertical-align: top;
}
table.squeeze tr td, table.squeeze tr th {
   font-size: 0.85em;
}
th a:link, th a:visited {
   color: #fff;
}
table.plain {
   border: 0px;
}
table.plain tr td {
   background-color: #fff;
   border: 0px;
}
table.plain tr td.border {
   border: 1px solid #c3b091;
}
/* For displaying LaTeX code */
span.cmd {
   color: blue;
}
span.evt {
   color: darkgreen;
}
tt { 
   font-size: 0.85em; 
   font-family: "DejaVu Sans Mono";
}
tt em {
   font-style: normal;
   color: darkred;
}
tt b {
   font-weight: normal;
   color: #aaa;
}
/* LaTeX logo formatting 
<!-- LaTeX --><span class="tex">L<sup>a</sup>T<sub>e</sub>X</span>
<!-- TeX --><span class="tex">T<sub>e</sub>X</span>
<!-- XeTeX --><span class="tex">X<sub class="e">&#398;</sub>T<sub>e</sub>X</span> */
.tex, .latex, .xetex, .xelatex {
//  font-family: Times, "Times New Roman", serif;
   letter-spacing: 1px;
   font-size: 1em;
}
.tex sup, .latex sup, .xetex sup, .xelatex sup {
   text-transform: uppercase;
   letter-spacing: 1px;
   font-size: 0.75em;
   vertical-align: 0.2em;
   margin-left: -0.45em;
   margin-right: -0.15em;
}
.tex sub, .latex sub, .xetex sub, .xelatex sub {
   text-transform: uppercase;
   vertical-align: -0.4ex;
   margin-left: -0.1667em;
   margin-right: -0.14em;
   font-size: 1em;
}
.xetex sub.e {
   font-size: 1em;
}
/* Generally useful things */
.nobr { white-space:nowrap; }
.noborder { border: 0px; }
.ipa { font-family: 
   "Doulos SIL", "Linux Libertine", "Gentium Plus", "Gentium", Junicode, Caslon, "DejaVu Serif", Code2000,
   "DejaVu Sans", "Lucida Sans Unicode", "Arial Unicode MS", "Lucida Grande", "DejaVu Sans Mono", 
   "Segoe UI", "Times New Roman";
}
.ctr { text-align: center; }
.vsqueeze {
   margin-top: -0.5em;
}