Five years later, I have a suggestion about these stylesheet problems. You can get pygments to generate a stylesheet for you. There are various styles, and I just used the one named "default":
pygmentize -S default -f html > pygments.css (pygmentize gets installed with "pip install pygments") or: from pygments import cmdline args = [cmdline.__name__, '-S', 'default', '-f', 'html'] cmdline.main(args) This will output a css stylesheet to the console. All the style names should match up because they are the ones that pygments uses. This can be the starting point for tinkering to improve the appearance. I like to add rules to give block and code boxes a light background and a rounded border. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/9bddf910-589f-4137-b47c-e082a19e5ab1%40googlegroups.com.
