@page {
    margin: 0.5cm;
}

a,
a:visited {
    text-decoration: underline;
}
/*
a[href]:after {
    content: " (" attr(href) ")";
}
*/
abbr[title]:after {
    content: " (" attr(title) ")";
}

body {font-size:12pt; padding:0px;}