RE: [PHP-DOC] Where to modify the snippets?
| From: | Gregory Song | Date: | Fri, 19 Jul 2002 14:17:18 +0000 |
| Subject: | RE: [PHP-DOC] Where to modify the snippets? | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969347410@lists.php.net to get a copy of this message | ||
The reason I'd like to change the style of the output HTML files, is that
the Chinese Grammar requires 4ex indent in each paragraph, and the default
font for the western character and digits is not 'Times New Roman' but
'MingLiu', which is the default font for Chinese. However, as the font is
set to 'MingLiu', it's botchy for western characters, such as bold 'M',
etc... Meanwhile, the default size is 16px, but if the Chinese characters
are set as 14px in 'Times New Roman', they displays perfect in paragraph. As
a result, I should set the default style of paragragh as {font-family: Times
New Roman; font-size: 14px; text-indent: 4ex}.
I agree with that the font of "Times New Roman" is no more suitable for
screen viewing than 'Arial". Actually, which of them is to be used is not
important here. My final aim to set the font style is to change the Chinese
default font 'MingLiu' into either 'Times New Roman' or 'Arial'. The
reason
I set it to 'Times New Roman' in the example above is to make it consistent
with the original English Document, whose font has been 'Times New Roman'
for days.
Greg
> -----Original Message-----
> From: James Cox [mailto:imajes@php.net]
> Sent: Friday, July 19, 2002 10:06 PM
> To: Gregory Song
> Subject: RE: [PHP-DOC] Where to modify the snippets?
>
>
>
> >
> > Well, in the HTML files of PHPDOC except HOWTO I made, those
> snippets are
> > exactly displayed in Chinese, but some of them are not accurate
> > and if I can
> > make any changes on them?
> >
> > And another question, can the build system add a line in those
> HTML files
> > to link a external CSS style sheet so that we can control the
> > styles in the
> > HTML files, as Chinese Gramma needs 2ex indent for each
> paragraph and the
> > default font of main text are to be set to 'Times New Roman'.
> >
>
> Why must the font be set to Times New Roman? I endured great pains to make
> the php.net site more readable (before it was arial, which is not
> a readable
> screen font)... Times New Roman is a font best used when printing a
> document, not for screen viewing.
>
> -- James
>
>