git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: gitweb css - pixels?!

From
JHJan Hudec <bulb@ucw.cz>
Date
May 8, 2007, 08:36 UTC
Message-ID
<20070508083644.GA9007@efreet.light.src>
In-Reply-To
<6efbd9b70705071613p23017509qaf9af12c1d14f9cb@mail.gmail.com>
On Mon, May 07, 2007 at 17:13:42 -0600, Chris Riddoch wrote:
Show 17 quoted lines
> Hi, folks.
> 
> I've been gradually converting my ~/src directory full of tarballs
> I've found interesting enough to download to a ~/repos/ directory
> containing bare git repositories of the projects.  I was thinking it
> might be worth my while to set up gitweb so I can peruse my collection
> of projects.
> 
> I noticed myself squinting, on my 1400x1050 laptop screen, at the 10
> and 12-*pixel* font settings gitweb's CSS specifies before thinking to
> myself that I should bring this to the list's attention.
> 
> I'm no CSS guru, or I'd just provide a patch.  It seems that *all* the
> measurements specified in the CSS file are in pixels, not ems or
> percentages.  There's got to be a better way.  I can't be the only
> person who would rather use my nice screen to render attractive,
> readable fonts rather than to render the smallest possible fonts?
Well, there should be three ways to set font sizes:
 1. Use the symbolic small, normal, large..., which are derived from user
    settings (normal is user setting, large is one step larger etc.). IMHO
    this would be the best variant.
 2. Use *points* (pt) instead of *pixels* (px). Unfortunately most browsers
    don't know what their DPI is and will treat 1pt as 1px, even though they
    have more than 72dpi. I believe this applies to all Micro$oft browsers.
 3. Use designation relative to previous font. One step up is 1.2em, one step
    down is 0.8333333em. I am not sure this actually works in Micro$oft
    browsers. Also rounding errors may quickly get you to completely
    different font size that you wanted.
-- 
						 Jan 'Bulb' Hudec <bulb@ucw.cz>
Previous: Chris RiddochNext: Petr Baudis
Message 4 of 16 in “gitweb css - pixels?!”
  1. Chris RiddochMay 7, 2007
  2. Allan WindMay 8, 2007
  3. Chris RiddochMay 8, 2007
  4. Jan HudecMay 8, 2007
  5. gitweb: Do not use absolute font sizesPetr Baudis, May 9, 2007
  6. Junio C HamanoMay 9, 2007
  7. Petr BaudisMay 9, 2007
  8. Chris RiddochMay 9, 2007
  9. Jakub NarebskiMay 14, 2007
  10. David KågedalMay 15, 2007
  11. Jan HudecMay 15, 2007
  12. Jakub NarebskiMay 15, 2007
  13. gitweb: Change base font size to "small"Jakub Narebski, May 16, 2007
  14. Petr BaudisMay 17, 2007
  15. Junio C HamanoMay 17, 2007
  16. Jakub NarebskiMay 17, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.