pre.filelist{font-family:"lucida console","courier new",courier,fixed,monospace;font-size:80%}
pre.readme, pre.copying { font-weight:bold; font-size:120% }

.hdr { border-bottom: 1px dashed gray }
span.acc { font-size:50% }
span.isdesc, span.arrow, span.islink { color:blue }
span.desc { color:#500010 }
span.linktarget, span.hardlink { color:#806090 }
span.brokenlink { color:#906030 }