Pretty dark-circle-enclosed numbers with pdfLaTeX