Reduce size of table on http://einsteintoolkit.org/release-info/parse_testsuite_results.php

Comments (11)

1. 

   Frank Löffler

   • changed status to open
   • removed comment

   I understand the incentive to do that. However, one of the purposes of this site is to have a quick overview which testsuites pass or fail where. For example I might want to know if some testsuite fails on all machines, or on which it does.

   If all tests of a particular thorn pass everywhere, this should already collapse in the small (default) table. This is now fixed. Can you please take a look to see if this would resolve this issue for you?

   • 2011-10-07T10:30:41+00:00
2. 

   Erik Schnetter reporter

   • removed comment

   Yes, that works.

   Still, I wonder how people get the "quick overview" in this table. I need to scroll up and down, left and right just to locate the red spots. Triangulating from these spots to the corresponding table headers is also a challenge. For me, the table is simply too large to allow a quick overview, and some information needs to be condensed.

   • 2011-10-07T10:43:37+00:00
3. 

   Frank Löffler

   • removed comment

   Could this be an issue of different font and screen size settings?

   • 2011-10-07T10:44:49+00:00
4. 

   Erik Schnetter reporter

   • removed comment

   I'm using the default screen size (laptop, 13") and default font size on my system. My browser window occupies almost the whole screen. I am using Chrome.

   Having said, this, the ET web site does seem to be using a font that is slightly larger than many other web sites. Are we choosing a particular, specific font size there? Is setting "font-size: 0.95em" a usual thing to do?

   • 2011-10-07T10:54:27+00:00
5. 

   Frank Löffler

   • changed status to open
   • marked as
   • assigned issue to
   • removed comment
   • changed watchers to anonymous

   No idea, referring to Dennis

   • 2011-10-07T11:00:03+00:00
6. 

   Ian Hinder

   • removed comment

   The text on the ET site is too large, in my opinion. Maybe it makes it more "friendly". Anyway, an "em" is a measurement which tells you the width of a letter m in a given font. To set the font size in terms of ems doesn't seem very logical! I would set the font size in points.

   • 2011-10-07T14:13:40+00:00
7. 

   Frank Löffler

   • removed comment

   I would have agreed with Erik, until I just now read about font sizes, html and em, e.g.:

   http://www.w3.org/WAI/GL/css2em.htm

   In CSS, the em unit is a general unit for measuring lenghts, for example page margins and padding around elements. You can use it both horizontally and vertically, and this shocks traditional typographers who always have used em exclusively for horizontal measurements. By extending the em unit to also work vertically, it has become a very powerful unit - so powerful that you seldom have to use other length units.

   Always use ems to set font sizes. When used to specify font sizes, the em unit refers to the font size of the parent element. So, in the example above, the font size of the h1 element is set to be two times the font size of the body element.

   So: 0.95em actually specifies a smaller font size than the default. Now the question would be why it is still appears larger than that.

   • 2011-10-07T14:29:44+00:00
8. 

   Ian Hinder

   • removed comment

   You learn something new every day! I think the default font size is quite large. Try viewing a page with style sheets turned off - the text will appear large. I usually set an explicit point size and font (e.g. 10pt) - I don't know if this is good practice or not.

   • 2011-10-07T15:02:13+00:00
9. 

   Erik Schnetter reporter

   • removed comment

   Is there anything wrong with not setting the font size at all? Presumably, there is a default font size, and that is reasonable, and users have set up their browsers such that this default looks well. Otherwise, if there is no good such default, then we should do the same as other prominent sites, e.g. copying the font size from Google's results or from Wikipedia's articles.

   It could also be that the font size (or rather, how large a font appears) depends on the font style. We use Helvetica, which looks different from what "normal" text looks like; maybe Helvetica is by default just a bit larger than other fonts. That's a known effect for TT (typewriter) fonts; if one embeds a TT element in the page, it looks much too large by comparison, even if one doesn't change the default size. Who knows what benefits that has.

   • 2011-10-07T15:12:57+00:00
10. 

    Frank Löffler

    • removed comment

    I think there is nothing wrong with not specifying a change of the font size. In this case however, it is likely that users want it displayed smaller than their usual font size and we could make this happen automatically. Using an absolute size is usually discouraged except in some cases, for obvious reasons.

    • 2011-10-07T15:43:42+00:00
11. 

    Barry Wardell

    • removed comment

    Decreasing the font size will help, but will not solve the original problem which is that the layout of the table makes it too big to fit on a typical screen. How about something like this which uses much less space and still conveys the most important information: http://www.aei.mpg.de/~barry/testsuites.html As Erik suggested, this could be expanded by clicking/hovering to give more information on a specific case.

    • 2011-10-17T09:24:03+00:00
12. Log in to comment