The highlighted parts are what you can/should edit.
Code:
var csstype="inline" //Specify type of CSS to use. "Inline" or "external"
var mac_css='body{font-size: 14pt; }' //if "inline", specify mac css here
var pc_css='body{font-size: 12pt; }' //if "inline", specify PC/default css here
var mac_externalcss='/style/macstyle.css' //if "external", specify Mac css file here
var pc_externalcss='/style/pcstyle.css' //if "external", specify PC/default css file here
I'd recommend using external CSS files here. It will be much easier to maintain that way.
Can I ask why you want to use OS-dependant CSS? It's usually much better practice to use browser-dependant CSS if you're trying to fix any bugs.
If you're using OS-dependant CSS for content-related changes, then I would also suggest what kepler did above -- use server side scripts.
Bookmarks