online man pages text size

online man pages text size

[Jon Grant]

Hi

Just looked at the man pages from a mobile device (HTC desire) noticed 
that the text sizes are quite small and hard to read. Would it be 
possible to increase the text-size to 12pt?

It's also pretty small on Firefox on my ubuntu netbook (default install, 
Firefox 7.01)

I was looking at these two pages:

http://man7.org/linux/man-pages/online/dir_all_alphabetic.html

http://man7.org/linux/man-pages/online/pages/man3/realpath.3.html

The heading particularly small:

"NAME | SYNOPSIS | DESCRIPTION | RETURN VALUE | ERRORS | VERSIONS | 
CONFORMING TO | NOTES | BUGS | SEE ALSO | COLOPHON	The Linux Programming 
Interface"


Best regards, Jon
--
To unsubscribe from this list: send the line "unsubscribe linux-man" in
the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Re: online man pages text size

[Michael Kerrisk (man-pages)]

Hi Jon,

On Sun, Oct 9, 2011 at 12:21 PM, Jon Grant <jg-hus3n9K41k0@public.gmane.org> wrote:
> Hi
>
> Just looked at the man pages from a mobile device (HTC desire) noticed that
> the text sizes are quite small and hard to read. Would it be possible to
> increase the text-size to 12pt?
>
> It's also pretty small on Firefox on my ubuntu netbook (default install,
> Firefox 7.01)
>
> I was looking at these two pages:
>
> http://man7.org/linux/man-pages/online/dir_all_alphabetic.html
>
> http://man7.org/linux/man-pages/online/pages/man3/realpath.3.html
>
> The heading particularly small:
>
> "NAME | SYNOPSIS | DESCRIPTION | RETURN VALUE | ERRORS | VERSIONS |
> CONFORMING TO | NOTES | BUGS | SEE ALSO | COLOPHON  The Linux Programming
> Interface"

I've made a few tweaks that should improve things a little. The
changes should appear with the next website update. Check back at the
end of the week.

Thanks,

Michael


-- 
Michael Kerrisk
Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/
Author of "The Linux Programming Interface"; http://man7.org/tlpi/
--
To unsubscribe from this list: send the line "unsubscribe linux-man" in
the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Re: online man pages text size

[Jon Grant]

Hi Michael

On 17/04/12 21:18, Michael Kerrisk (man-pages) wrote:
> Hi Jon,
>
> On Sun, Oct 9, 2011 at 12:21 PM, Jon Grant<jg-hus3n9K41k0@public.gmane.org>  wrote:
>> Hi
>>
>> Just looked at the man pages from a mobile device (HTC desire) noticed that
>> the text sizes are quite small and hard to read. Would it be possible to
>> increase the text-size to 12pt?
>>
>> It's also pretty small on Firefox on my ubuntu netbook (default install,
>> Firefox 7.01)
>>
>> I was looking at these two pages:
>>
>> http://man7.org/linux/man-pages/online/dir_all_alphabetic.html
>>
>> http://man7.org/linux/man-pages/online/pages/man3/realpath.3.html
>>
>> The heading particularly small:
>>
>> "NAME | SYNOPSIS | DESCRIPTION | RETURN VALUE | ERRORS | VERSIONS |
>> CONFORMING TO | NOTES | BUGS | SEE ALSO | COLOPHON  The Linux Programming
>> Interface"
>
> I've made a few tweaks that should improve things a little. The
> changes should appear with the next website update. Check back at the
> end of the week.

That overall looks  much better. There is one last element that is 
repeated small, the "top" links at font size -2.

<font size="-2">top</font>

Could that -2  be removed?

BTW, could I ask, do you publish your scripts which generate these 
online man pages? It looks very good.

Best regards, Jon
--
To unsubscribe from this list: send the line "unsubscribe linux-man" in
the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Re: online man pages text size

[Michael Kerrisk (man-pages)]

Hi Jon,


>>> Just looked at the man pages from a mobile device (HTC desire) noticed
>>> that
>>> the text sizes are quite small and hard to read. Would it be possible to
>>> increase the text-size to 12pt?
>>>
>>> It's also pretty small on Firefox on my ubuntu netbook (default install,
>>> Firefox 7.01)
>>>
>>> I was looking at these two pages:
>>>
>>> http://man7.org/linux/man-pages/online/dir_all_alphabetic.html
>>>
>>> http://man7.org/linux/man-pages/online/pages/man3/realpath.3.html
>>>
>>> The heading particularly small:
>>>
>>> "NAME | SYNOPSIS | DESCRIPTION | RETURN VALUE | ERRORS | VERSIONS |
>>> CONFORMING TO | NOTES | BUGS | SEE ALSO | COLOPHON  The Linux Programming
>>> Interface"
>>
>>
>> I've made a few tweaks that should improve things a little. The
>> changes should appear with the next website update. Check back at the
>> end of the week.
>
>
> That overall looks  much better. There is one last element that is repeated
> small, the "top" links at font size -2.
>
> <font size="-2">top</font>
>
> Could that -2  be removed?

I'm inclined to leave as is. I want those top links to be small and unintrusive?

> BTW, could I ask, do you publish your scripts which generate these online
> man pages? It looks very good.

No, I haven't published them.

Thanks,

Cheers,

Michael



-- 
Michael Kerrisk
Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/
Author of "The Linux Programming Interface"; http://man7.org/tlpi/
--
To unsubscribe from this list: send the line "unsubscribe linux-man" in
the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html