@import url('primary.css');

a:link { color: #1090fc; }
a:visited { color: #105070; }

div.toc {
   background-color: #010507;
   border-color: #0c3c54;
}

/* TODO: comment pages, TOC */