From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jon Grant Subject: Re: online man pages text size Date: Tue, 08 May 2012 22:37:07 +0100 Message-ID: <4FA99203.6040002@jguk.org> References: <4E90DAF2.8000004@jguk.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: Sender: linux-man-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org To: mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Cc: linux-man-u79uwXL29TY76Z2rM5mHXA@public.gmane.org List-Id: linux-man@vger.kernel.org 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 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. top 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