and insert after line #10 (body)
& #105 (table ...td)
font-size: 87%;
(just before } )
if you often swich browsers,
consider adding:
<?php
if(strpos($_SERVER['HTTP_USER_AGENT'],'pera')>0)echo
'font-size:93%;'; else echo
'font-size:87%;'; ?>
otherwise Opera displays everything way too small !
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
No we're not going to have user agent dependant font sizes
again. It was anyway wrong for part of users and didn't
solve anything at all. Bug amount about font size stay
constant whatever solution we take and using browser default
font is simplest and easiest to maintain.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Your logic sounds fine in theory, but in practice it is
fatally flawed for the simple reason that different
browsers use different font sizes for the default - the
actual size for 'small' in IE is much bigger than in all
other browsers. Although it is possible for users to
adjust the font size at their end, few bother to do so. It
has been the practice for most website builders to use
size 'x-small' for IE and 'small' for other browsers to
achieve the same effect without any user intervention. You
have now broken that, which means that your pages, when
viewed in IE, are now much bigger than they used to be. If
I compensate by reducing the browser's font size at my end
then it has the effect of making ALL OTHER sites I visit
in that browser far too small. This means that I have to
keep adjusting my browser settings both BEFORE and AFTER
using your pages. THIS DOES NOT MAKE ME A HAPPY BUNNY!
A problem with your CSS files is that I cannot make an
adjustment in a single place which affects all pages.
Consequently I end up with some text the right size while
other text remains too large. If I change
theme_left.css.php and theme_right.css.php everything is
altered EXCEPT the html tables in the right-hand pane.
There is a fault in your CSS somewhere.
Why don't you do what everybody else does to get around
this problem? All you need is the following code:
body { font-size: x-small; ) /* for IE */
html>body { font-size: small; ) /* for other browsers */
The second line is not processed by IE, therefore it
sticks with 'x-small', whereas other browsers will replace
the 1st definition with the 2nd and use 'small' instead.
All other font-sizes in the system should be relative to
this size.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hello,
we (and all our customers we have installed new
phpmyAdmin 2.8.0.2 for) have the same problem too. On
Win XP the fonts are too large!
Please don't write "do, what everybody do, change the
css", that's stupid. A real solution is needed.
Why don't you extend the next configuration-file so
everybody can set the base-size of the font? All the
other font-sizes given in em-values are changing
automatically.
In our little cms we've developed we do it this way and
it works fine.......
so everybody can easily change if his base-font should
be 12px or 1em or whatever.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I'd like to add my 2 cents to this discussion.
I have been using Firefox, Opera and IE on Windows for
development and all the fonts were fine before version 2.8.0.
Now PMA is a really ugly looking (with the exception of
Arctic Ocean and Paradice themes).
Something must be done about those font sizes once and for
all. As the previous post suggest, why not introduce a
config parameter defining base font in pixels or percents of
the default font size. The rest of the font sizes in the
themes should be made relative to the base value.
Thank you
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I suggest adding a config option to switch between using
default browser font size, and user/theme specified font
size. I was definitely surprised to suddenly see all my
fonts MUCH larger than I was used to seeing, and as others
have commented before me, changing my browser's default
font size will change every site I visit.
A config option to switch between the two methods will
keep it easy for the programmers, AND keep the users happy.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
lem9, micha: how about introducing this config setting for
font size?
the problem is, that themes that rely on this needs to test
if this config is set or not, making it a requirement to put
more php programming into themes css files
otherwise we just removed any styling parameters from config
we can put $cfg['BaseFontSize'] into layout.inc.php
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
The original CSS is now set to a larger font size than in
previous versions of PMA. The original theme should have a
suitable font size from the start and not require editing
to make it acceptable for displaying table data.
It shouldn't be necessary to have an alternative theme in
place just to make PMA look reasonable. It should look good
straight out of the box.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
The 'Original' theme is set to no font size at all.
The font size depends on the users system and browser
settings. Why should we force our customers to any other
font size than he has setup on his system or browser?
And with next release (2.9) you have the option to change
this - if your browser angers you ...
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I am not trying to annoy the creators of PMA with my
responses. The font has changed size. My browsers' font
size are all set to "medium". I don't want to change
browser font sizes for PMA every time I go there.
PMA's original theme should have a _default_ font size that
does the job without further editing. Doesn't anyone care
about PMA actually looking reasonable from the start?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Of course we care - but we do not only care YOUR browser and
system parameters.
There is no 'default' font size that will look reasonable on
all systems and browsers and different settings and
disabilities on this systems and browsers.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I run all my browsers using their default settings. What I
see here is what everone else sees.
If you want a "reasonable" font size, take a look at Arctic
Ocean. In fact, this style, in my opinion, is far nicer
than the original style anyway. I have made it the default
theme on all of my servers.
To find out if anyone else agrees with me, start up a poll.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=192186
See bug #1436836.
Logged In: YES
user_id=495328
If I change the default font size in any of my browsers
then all the other sites that I visit become too small.
You have made a change between 2.7.0 and 2.8.0, and this
change is BAD! Please put back the code that was in 2.7.0
Logged In: YES
user_id=495328
If I change the default font size in any of my browsers
then all the other sites that I visit become too small.
You have made a change between 2.7.0 and 2.8.0, and this
change is BAD! Please put back the code that was in 2.7.0
Logged In: YES
user_id=1383652
as i posted already elsewhere:
just locate
'themes/original/css/theme_right.css.php'
and insert after line #10 (body)
& #105 (table ...td)
font-size: 87%;
(just before } )
if you often swich browsers,
consider adding:
<?php
if(strpos($_SERVER['HTTP_USER_AGENT'],'pera')>0)echo
'font-size:93%;'; else echo
'font-size:87%;'; ?>
otherwise Opera displays everything way too small !
Logged In: YES
user_id=192186
No we're not going to have user agent dependant font sizes
again. It was anyway wrong for part of users and didn't
solve anything at all. Bug amount about font size stay
constant whatever solution we take and using browser default
font is simplest and easiest to maintain.
Logged In: YES
user_id=495328
Your logic sounds fine in theory, but in practice it is
fatally flawed for the simple reason that different
browsers use different font sizes for the default - the
actual size for 'small' in IE is much bigger than in all
other browsers. Although it is possible for users to
adjust the font size at their end, few bother to do so. It
has been the practice for most website builders to use
size 'x-small' for IE and 'small' for other browsers to
achieve the same effect without any user intervention. You
have now broken that, which means that your pages, when
viewed in IE, are now much bigger than they used to be. If
I compensate by reducing the browser's font size at my end
then it has the effect of making ALL OTHER sites I visit
in that browser far too small. This means that I have to
keep adjusting my browser settings both BEFORE and AFTER
using your pages. THIS DOES NOT MAKE ME A HAPPY BUNNY!
A problem with your CSS files is that I cannot make an
adjustment in a single place which affects all pages.
Consequently I end up with some text the right size while
other text remains too large. If I change
theme_left.css.php and theme_right.css.php everything is
altered EXCEPT the html tables in the right-hand pane.
There is a fault in your CSS somewhere.
Why don't you do what everybody else does to get around
this problem? All you need is the following code:
body { font-size: x-small; ) /* for IE */
html>body { font-size: small; ) /* for other browsers */
The second line is not processed by IE, therefore it
sticks with 'x-small', whereas other browsers will replace
the 1st definition with the 2nd and use 'small' instead.
All other font-sizes in the system should be relative to
this size.
Logged In: YES
user_id=1489423
Hello,
we (and all our customers we have installed new
phpmyAdmin 2.8.0.2 for) have the same problem too. On
Win XP the fonts are too large!
Please don't write "do, what everybody do, change the
css", that's stupid. A real solution is needed.
Why don't you extend the next configuration-file so
everybody can set the base-size of the font? All the
other font-sizes given in em-values are changing
automatically.
In our little cms we've developed we do it this way and
it works fine.......
so everybody can easily change if his base-font should
be 12px or 1em or whatever.
Logged In: YES
user_id=1215789
I'd like to add my 2 cents to this discussion.
I have been using Firefox, Opera and IE on Windows for
development and all the fonts were fine before version 2.8.0.
Now PMA is a really ugly looking (with the exception of
Arctic Ocean and Paradice themes).
Something must be done about those font sizes once and for
all. As the previous post suggest, why not introduce a
config parameter defining base font in pixels or percents of
the default font size. The rest of the font sizes in the
themes should be made relative to the base value.
Thank you
Logged In: YES
user_id=1502818
I suggest adding a config option to switch between using
default browser font size, and user/theme specified font
size. I was definitely surprised to suddenly see all my
fonts MUCH larger than I was used to seeing, and as others
have commented before me, changing my browser's default
font size will change every site I visit.
A config option to switch between the two methods will
keep it easy for the programmers, AND keep the users happy.
Logged In: YES
user_id=326580
lem9, micha: how about introducing this config setting for
font size?
the problem is, that themes that rely on this needs to test
if this config is set or not, making it a requirement to put
more php programming into themes css files
otherwise we just removed any styling parameters from config
we can put $cfg['BaseFontSize'] into layout.inc.php
Logged In: YES
user_id=1509224
It appears that the "original" CSS is wrong in 2.8.0.
Shouldn't this have been checked before its release?
Logged In: YES
user_id=326580
@nahoo: What is 'wrong' in the 'original' CSS?
Logged In: YES
user_id=1509224
Its wrong enough for me to completely replace the original
theme with Arctic Ocean which has been written properly.
Logged In: YES
user_id=326580
@nahoo: if you can not explain what do you mean with 'wrong'
we cannot help you
phpMyAdmin 2.9 (currently HEAD in CVS) has config variables
in the themes layout.inc.php file where you can set font
family and size
Logged In: YES
user_id=1509224
The original CSS is now set to a larger font size than in
previous versions of PMA. The original theme should have a
suitable font size from the start and not require editing
to make it acceptable for displaying table data.
It shouldn't be necessary to have an alternative theme in
place just to make PMA look reasonable. It should look good
straight out of the box.
Logged In: YES
user_id=326580
The 'Original' theme is set to no font size at all.
The font size depends on the users system and browser
settings. Why should we force our customers to any other
font size than he has setup on his system or browser?
And with next release (2.9) you have the option to change
this - if your browser angers you ...
Logged In: YES
user_id=1509224
I am not trying to annoy the creators of PMA with my
responses. The font has changed size. My browsers' font
size are all set to "medium". I don't want to change
browser font sizes for PMA every time I go there.
PMA's original theme should have a _default_ font size that
does the job without further editing. Doesn't anyone care
about PMA actually looking reasonable from the start?
Logged In: YES
user_id=326580
You do not annoy us!
Of course we care - but we do not only care YOUR browser and
system parameters.
There is no 'default' font size that will look reasonable on
all systems and browsers and different settings and
disabilities on this systems and browsers.
Logged In: YES
user_id=1509224
I run all my browsers using their default settings. What I
see here is what everone else sees.
If you want a "reasonable" font size, take a look at Arctic
Ocean. In fact, this style, in my opinion, is far nicer
than the original style anyway. I have made it the default
theme on all of my servers.
To find out if anyone else agrees with me, start up a poll.