add a platform attribute to the Zotero pane and make border fix work with Firefox 3.1

This commit is contained in:
Simon Kornblith 2009-04-09 07:58:29 +00:00
parent e8ce1d30d2
commit b1b0bd47a0
2 changed files with 5 additions and 2 deletions

View file

@ -137,6 +137,9 @@ var ZoteroPane = new function()
if (Zotero.isMac) { if (Zotero.isMac) {
document.getElementById('zotero-tb-actions-zeroconf-update').setAttribute('hidden', false); document.getElementById('zotero-tb-actions-zeroconf-update').setAttribute('hidden', false);
document.getElementById('zotero-pane').setAttribute('platform', 'mac');
} else if(Zotero.isWin) {
document.getElementById('zotero-pane').setAttribute('platform', 'win');
} }
//Initialize collections view //Initialize collections view

View file

@ -25,12 +25,12 @@
} }
/* these are hacks do display a window separator in full screen mode on OS X */ /* these are hacks do display a window separator in full screen mode on OS X */
window[activetitlebarcolor] #zotero-pane[fullscreenmode="true"] window #zotero-pane[fullscreenmode="true"][platform="mac"]
{ {
border-top: 1px solid #A3A3A3; border-top: 1px solid #A3A3A3;
} }
window[active="true"][activetitlebarcolor] #zotero-pane[fullscreenmode="true"] window[active="true"] #zotero-pane[fullscreenmode="true"][platform="mac"]
{ {
border-top: 1px solid black; border-top: 1px solid black;
} }