<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">@import url("reset-fonts-grids.css");
@import url("base-min.css");
@import url("hk-pyg.css");

html { color: black; }

body { font-size: 93%; line-height: 1.4em; font-family: Georgia, serif; }

div#hd        { }
div#hd span   { font-family: Arial, Verdana, sans-serif; }
div#hd .big   { font-size: 200%; border: none; }
div#hd .small { font-size: 120%; color: gray; }

div#TOC { font-size: 86%; margin: 2em 0 1em 0; padding: 0; background-color: white; }
div#TOC ul &gt; ul { margin-left: 1em; }

hr { height: 1px; color: #aaa; background-color: #aaa; border: 0; margin: .2em 0 .2em 0; }

h1.title { font-size: 153.8%; }
h1, h2, h3, h4, h5, h6 { font-weight: normal; border-bottom: 1px solid black; }

h1 { font-size: 138.5%; margin: 1.07em 0 .535em; }
h2 { font-size: 123.1%; margin: 1.14em 0 .57em; }
h3 { font-size: 116%; margin: 1.23em 0 .615em; }
h4 { font-size: 108%; margin: 1.33em 0 .67em; }

ul { list-style-type: square; }
dt { font-weight: bold; margin-bottom: .1em; }

table { border-top: 1px solid #ccc;  border-left: 1px solid #ccc; }
th, td { border-bottom: 1px solid #ddd; border-right: 1px solid #ccc; }

blockquote { padding: 0 1.6em; color: #666; }

/* COLORS */

a:link { text-decoration: underline; color: #36c; }
a:visited { text-decoration: underline; color: #99c; }
a:hover { text-decoration: underline; color: #c33; }
a:active,  a:focus { text-decoration: underline; color: #000; }
code { /* color: #c33; */ font-family: monospace; font-size: 116%; line-height: 1.4em; }
pre { background-color: #eee; padding: 1em; }

h1 &gt; a:link, h1 &gt; a:active, h1 &gt; a:hover, h1 &gt; a:focus, h1 &gt; a:visited,
h2 &gt; a:link, h2 &gt; a:active, h2 &gt; a:hover, h2 &gt; a:focus, h2 &gt; a:visited,
h3 &gt; a:link, h3 &gt; a:active, h3 &gt; a:hover, h3 &gt; a:focus, h3 &gt; a:visited,
h4 &gt; a:link, h4 &gt; a:active, h4 &gt; a:hover, h4 &gt; a:focus, h4 &gt; a:visited,
h5 &gt; a:link, h5 &gt; a:active, h5 &gt; a:hover, h5 &gt; a:focus, h5 &gt; a:visited,
h6 &gt; a:link, h6 &gt; a:active, h6 &gt; a:hover, h6 &gt; a:focus, h6 &gt; a:visited {
        color: black;
        text-decoration: none;
}

/* div#maincol { max-width: 46em; } */

#footer { padding: 1em; color: #888; text-align: center; font-size: 93%; }

div#nav { font-family: Arial, Verdana, sans-serif; }
div#nav { margin-top: 2em; }
div#nav ul { margin-top: 0; margin-bottom: 0; }
div#nav ul li { list-style: none; padding-bottom: 0.1em; }
div#nav ul li &gt; ul { margin-left: 1em; }
div#nav ul li a { text-decoration: none; }
</pre></body></html>