Search Support

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

Bug: since I upgraded to Firefox 9.0.1 two days ago, the left side menus are pushed way way back down on the site: http://oeis.org/wiki/

  • 4 replies
  • 1 has this problem
  • 10 views
  • Last reply by cor-el

more options

Bug with rendering of CSS?

Since I upgraded to Firefox 9.0.1 two days ago, the left side menus are pushed way way back down on the site:

http://oeis.org/wiki/

I never had this problem before.

With Safari the left side menus appear where they should be, just below the OEIS logo.

Firefox 9.0.1 on Mac OS X Lion 10.7.2

Bug with rendering of CSS? Since I upgraded to Firefox 9.0.1 two days ago, the left side menus are pushed way way back down on the site: http://oeis.org/wiki/ I never had this problem before. With Safari the left side menus appear where they should be, just below the OEIS logo. Firefox 9.0.1 on Mac OS X Lion 10.7.2

All Replies (4)

more options

It looks like a regression in FF9+. Maybe this one in CSS: https://bugzilla.mozilla.org/show_bug.cgi?id=714560. Try to spoof the user agent (see the last comment) and report if that helps.

more options

Hi,

Please try a Ctrl + F5 refresh of the page. This would bring in the whole content afresh.

...............................................................................................................................

Useful links:

All about Tools > Options

Going beyond Tools > Options - about:config

about:config Entries

Page Info Tools (Alt + T) > Page Info, Right-click > View Page Info

Keyboard Shortcuts

Viewing Video without Plugins

Firefox Profile Folder & Files

Firefox Commands

Basic Troubleshooting

After Upgrading

Safe Mode

Problematic Extensions

Troubleshooting Extensions and Themes

Troubleshooting Plugins

Testing Plugins

more options

This is caused by broken browser-sniffing by MediaWiki template software. See question 906789 or 908871. Updating the MediaWiki should solve this problem.

more options

A temporarily solution is to add code to userContent.css or Stylish to reset the margin-left to its correct setting to undo the change made by the extra stylesheet that gets loaded.

The customization files userChrome.css (interface) and userContent.css (websites) are located in the chrome folder in the user profile folder.


@-moz-document domain(oeis.org) { #column-content { margin-left:-12.2em !important; } }

Modified by cor-el