W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2010

Re: example font size in local.css

From: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
Date: Fri, 21 May 2010 11:47:44 +0100
Message-ID: <AANLkTikvmGYiWhd2FOV9kcNaToEJKMuEhQ9m-E2Kpiuk@mail.gmail.com>
To: Andy Seaborne <andy.seaborne@talis.com>
Cc: SPARQL Working Group <public-rdf-dawg@w3.org>
Ok. I did the same now.
Birte

On 19 May 2010 21:41, Andy Seaborne <andy.seaborne@talis.com> wrote:
> 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
>



-- 
Dr. Birte Glimm, Room 306
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283529
Received on Friday, 21 May 2010 10:48:16 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:42 GMT