review/static/styles/extra.css @ bdfacbcf700e default tip

Friendlier patch urls & mimetype

Replace /changeset/<revset>/patch/ by /changeset/<revset>.patch and set
the mimetype to text/x-diff.

This helps the browser opening the right application thanks to the
mimetype, and the application to better guess the file type thanks
to the '.patch' extension
author Christophe de Vienne <christophe@cdevienne.info>
date Fri, 19 Aug 2016 18:58:14 +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))
    );
}