@import url("screen.css");

body {
    font-family: Georgia, times, serif;
    font-size: 16pt;
}

#the-title,
#the-footer,
#the-navi-menu,
#the-toc {
  display: none;
}

a:link,
a:visited,
a:hover {
    color: #a00;
    text-decoration: none;
}

a[class~="print-url"]:after {
    content: " [" attr(href) "]";
    font-size: 80%;
    color: #666;
}


