Massimo:
In my css file, I simply used this:
pre { font-size: 130% !important; }
This will do it; as the code is enclosed within a "pre". This will
override the font-size and leave the rest of the styling intact.
My suggestion is NOT to specify the font size in CODE (highlight.py).
This makes it a little easier for people to fine tune (I think fewer
people know of !important).
On Apr 20, 8:58 pm, Massimo Di Pierro <[email protected]>
wrote:
> Can you please post an example of your preferred solution?
>
> On Apr 20, 4:29 pm, VP <[email protected]> wrote:
>
>
>
>
>
>
>
> > I got it working by reading the function highlight.py in gluon/
> > highlight.py.
>
> > But the !important thing works better.
>
> > Thank you.
>
> > On Apr 20, 4:06 pm, Anthony <[email protected]> wrote:
>
> > > Maybe trying adding !important after your CSS rule and see if that will
> > > override the hard-coded font style.
>
> > > Anthony
>
> > > On Wednesday, April 20, 2011 4:58:53 PM UTC-4, VP wrote:
> > > > I tried, but I couldn't. The font-size is hard-coded like this, and I
> > > > just couldn't figure out how to change it in css. Any idea? Thanks.
>
> > > > <table><tr valign="top"><td style="width:40px; text-align:
> > > > right;"><pre style="
> > > > font-size: 11px;
> > > > font-family: Bitstream Vera Sans Mono,monospace;
> > > > background-color: transparent;
> > > > margin: 0;
> > > > padding: 5px;
> > > > border: none;
> > > > color: #A0A0A0;
>
> > > > On Apr 20, 2:30 pm, Massimo Di Pierro <[email protected]>
> > > > wrote:
> > > > > You should be able to do it using css.
>
> > > > > On Apr 20, 12:48 pm, VP <[email protected]> wrote:
>
> > > > > > I read this page, which shows how to do syntax highlighting with
> > > > > > MARKMIN: http://www.web2py.com/examples/static/markmin.html
>
> > > > > > something like ``....``:code_html ,etc...
>
> > > > > > My question, how do I increase the font size of the code enclosed in
> > > > > > `` ... ``:code_html or :code_python?
>
> > > > > > It default font seems to be 11pt (too small for my use case). I
> > > > > > can't
> > > > > > change it with css. Is there are parameter to pass to the function
> > > > > > (CODE) to increase the font size?
>
> > > > > > Thank you.
