<theme-set what=logo        to=logo.gif themefile />
<theme-set what=left-image  to=blossom.gif themefile />
<theme-set what=bgcolor     to=pink />
<theme-set what=fgcolor     to=black />
<theme-set what=linkcolor   to=darkred />
<theme-set what=selected-indicator to=selected-star.gif themefile />

<theme-path match='/sites/*'>
  <theme-set what=left-image to=bubbles.gif themefile />
  <theme-set what=bgcolor to=lightblue />
  <theme-set what=linkcolor to=darkblue />
</theme-path>

<theme-path match='/global_settings/*'>
  <theme-set what=left-image to=buttercup.gif themefile />
  <theme-set what=bgcolor to=lightgreen  />
  <theme-set what=linkcolor to=darkgreen />
</theme-path>

<theme-path match='/ports/*'>
  <theme-set what=left-image to=utonium.gif themefile />
  <theme-set what=bgcolor to=pink       />
  <theme-set what=linkcolor to=darkred  />
</theme-path>
