Re: example font size in local.css

To make publishing work, Ivan suggested taking copies of the CSS files 
because on the publication site there is no ../shared.

I have already changed this in now-local-copy local.css used by 
query-1.1 to remove the 88%.

 Andy


On 19/05/2010 2:28 PM, Birte Glimm wrote:
> Hi all,
> I use local.css as style sheet, as does at least the query spec. Ivan
> noticed in his review of the entailment regimes doc that the examples
> (pre tag) have quite a small size and suggested to adjust that. Since
> that comes from the shared style file local.css in which pre tags and
> their specialisations such as pre.query and pre.data are defined to
> have just 88% of the normal font size, I didn't want to change that
> straight away because that obviously has effects on other documents.
> If there is no good reason for this, I would suggest, however, to have
> the examples in the same font size as the normal text and I can change
> that in the style sheet.
>
> The reference to local.css is quite hidden actually, but I think most
> of our documents use it because we use the REC-xml.xsl stylesheet in
> shared. REC-xml.xsl then includes diffspec.xsl, which includes
> xmlspec.xsl, which then includes local.css.
>
> Let me know if there are any reasons for having just 88% font size. Regards,
> Birte
>
> --
> Dr. Birte Glimm, Room 306
> Computing Laboratory
> Parks Road
> Oxford
> OX1 3QD
> United Kingdom
> +44 (0)1865 283529

Received on Wednesday, 19 May 2010 20:41:53 UTC