- From: Bert Bos <bert@w3.org>
- Date: Mon, 13 Aug 2007 16:02:01 +0200
- To: Julien <css.julien@gmail.com>
- Cc: Olivier <ot@w3.org>, Maria <css.maria@googlemail.com>, Jean-Gui <jean-gui@w3.org>, Yves <ylafon@w3.org>, "Public Quality Assurance archives" <public-qa-dev@w3.org>
On Monday 13 August 2007 15:13, Julien wrote:
> Hello,
>
> I commited the changes I made to try resolving bug number
> 152<http://www.w3.org/Bugs/Public/show_bug.cgi?id=152>
> .
> That may not be the best way of doing it, but it is effecient in most
> cases and the user can choose (using "more options") whether his/her
> page is HTML or CSS if the validator take the wrong decision.
Maybe "no special type" is better called "automatic"?
> Those included a change in base.css :
>
> body {
> margin: auto auto;
> padding-left: 6%;
> padding-right: 6%;
> background-color: white;
> color: #11111A;
> font-family: Helvetica, "Trebuchet MS", Arial, sans-serif;
> font-size: 1em; /* setting base font to user's prefered size */
> min-width: 63em;
> }
>
> (it was 50em before)
> I changed it so what I added is always on the same line as the other
> drop down menus.
I'm not sure I like that. My window is much narrower than 63em...
> To check if it's a css file :
> - if this is a file uploaded, I just check if it is a .css file. But
> it may be a better a idea to check if this .html, .xhtml, .htm, ...
> to test the file as an HTML file and as a CSS file in every other
> cases...
In the case of file upload, the browser is supposed to send not only a
file name, but also a Content-Type header. So you don't have to check
the extension.
(I don't know how good browsers are at sending the Content-Type, but my
browser seems to do it correctly.)
Bert
--
Bert Bos ( W 3 C ) http://www.w3.org/
http://www.w3.org/people/bos W3C/ERCIM
bert@w3.org 2004 Rt des Lucioles / BP 93
+33 (0)4 92 38 76 92 06902 Sophia Antipolis Cedex, France
Received on Monday, 13 August 2007 14:02:28 UTC