.downloadtxt {  font-family: "‚l‚r ‚oƒSƒVƒbƒN", "Osaka"; font-size: 9px; text-decoration: none}