/* KR page style. */

body
{
  font-family: bitstream, sans-serif;
  font-size: small;
  background: #000;
  color: #ddd;
}

ul { padding-left: 20px; }
h1, h2, h3 { margin-bottom: 0; color: #eee; }
h3 { font-size: large; }
a { color: #05F; }
a.download { color: red; }