more python syntax highlighting and margin fixes