Thread:Extension talk:Header Tabs/Can't change style from default

I have installed Header Tabs and it is working but appears to be using the jquery style. I do not like the small text and black links so tried changing to jquery-large by setting $htStyle in LocalSettings.php. This appears to be ignored although on examining the rendered page source I can see that a link to jquery-large.css appears or disappears according to what I set in LocalSetting. Likewise if I select the bare style. The paths to the css files appear to be correct.

I note that the html source starts with class="client-nojs". Also the paths to the css files start with /mediawiki i.e. not a full url.

I have MW 1.19.0 installed less than a month ago. Very few changes, about half a dozen extensions added. Header Tabs is 0.9.2, downloaded yesterday.

Does anyone know where the problem might be or what I might do to debug this.