review/static/styles/extra.css @ 16e0bcd4f854

Switch to the new hg spanset API

This api was introduced in 3.2, and the indexation is not supported anymore (probably since
3.4)

Patch provided by David Douard
(see https://bitbucket.org/sjl/hg-review/pull-requests/8/better-handling-of-obsolescence-markers/diff#comment-8174971)
author Christophe de Vienne <christophe@cdevienne.info>
date Fri, 19 Aug 2016 18:21:28 +0200
parents 3fe8d9b6705b
children (none)
a.button span, a.button {
    background: -webkit-gradient(
        linear,
        left bottom,
        left top,
        color-stop(0.00, rgba(0, 0, 0, 0.15)),
        color-stop(1, rgba(0, 0, 0, 0.0))
    );
    background: -moz-linear-gradient(
        center bottom,
        rgba(0, 0, 0, 0.15) 0%,
        rgba(0, 0, 0, 0.0) 100%
    );
}
a.button:active span {
    background: -webkit-gradient(
        linear,
        left bottom,
        left top,
        color-stop(0.00, rgba(0, 0, 0, 0.1)),
        color-stop(1, rgba(0, 0, 0, 0.0))
    );
    background: -moz-linear-gradient(
        center bottom,
        rgba(0, 0, 0, 0.1) 0%,
        rgba(0, 0, 0, 0.0) 100%
    );
}


#index .content table tr:nth-child(even) td.node {
    background: -webkit-gradient(
        linear,
        left 50%,
        right 50%,
        color-stop(0.0, rgba(250, 250, 250, 1)),
        color-stop(0.35, rgba(250, 250, 250, 0.0))
    );
    background: -moz-linear-gradient(
        center left,
        rgba(250, 250, 250, 1) 0%,
        rgba(250, 250, 250, 0) 35%
    );
}


#index .content table tr:nth-child(even) td.stats {
    background: -webkit-gradient(
        linear,
        right 50%,
        left 50%,
        color-stop(0.0, rgba(250, 250, 250, 1)),
        color-stop(0.9, rgba(250, 250, 250, 0.0))
    );
    background: -moz-linear-gradient(
        center right,
        rgba(250, 250, 250, 1) 0%,
        rgba(250, 250, 250, 0) 35%
    );
}

#changeset .content .togglebox form {
    background: -webkit-gradient(
        linear,
        left bottom,
        left top,
        color-stop(0.0, rgb(234, 233, 223)),
        color-stop(0.3, rgb(250, 249, 239)),
        color-stop(0.95, rgb(250, 249, 239)),
        color-stop(1, rgb(255, 254, 243))
    );
}