Re: HTML or CSS ?

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