[web] Slight tweak on jQueryUI's colors on links (related to #4564046) Follow up to commit 16f550b48d57 which was somewhat brutal. This change only overrides jQueryUI's CSS rules inside tab panes and leaves actual tab buttons alone.

     1

#! /bin/sh -e

     2

     3

case "$1" in

     4

    remove)

     5

	if [ -x "/etc/init.d/cubicweb-ctl" ]; then

     6

	    invoke-rc.d cubicweb-ctl stop || true

     7

	fi

     8

    ;;

     9

esac

    10

    11

#DEBHELPER#

    12

    13

exit 0