Changeset 37359


Ignore:
Timestamp:
2023-02-25T15:39:38+13:00 (14 months ago)
Author:
davidb
Message:

want 'default' to be the default\!

File:
1 edited

Legend:

Unmodified
Added
Removed

  • main/trunk/greenstone3/web/interfaces/default/interfaceConfig.xml

    r37353 r37359  
    5353             If you want it to persist, leave this line uncommented, so that the theme may get updated here.
    5454        -->
    55         <option name="cssTheme" value="https://code.jquery.com/ui/1.13.0/themes/eggplant/theme.css"/>
     55        <option name="cssTheme" value="https://code.jquery.com/ui/1.13.0/themes/default/theme.css"/>
    5656
    5757        <option name="highlightQueryTerms" value="true"/>
Note: See TracChangeset for help on using the changeset viewer.