On Wednesday, April 20, 2011 5:03:19 PM UTC-4, VP wrote: > > I think the style can be specified for CODE. But I just couldn't > figure how to change the font-size by setting the "style" parameter > appropriately.
Looks like the 'styles' parameter is ultimately handled by the 'highlight' function in /gluon/highlight.py ( http://code.google.com/p/web2py/source/browse/gluon/highlight.py#251). It appears 'styles' is a dictionary that can take a 'CODE' key and a 'LINENUMBERS' key, which can be used to style the code and the code linenumbers, respectively. If there is no 'CODE' key in the 'styles' argument, then it defaults to the hard-coded style you see -- otherwise, it uses whatever CSS style you specify (i.e., styles = {'CODE': 'your CSS style'}). Anthony
