Source

coveragepy / coverage / htmlfiles / style.less

Full commit
/*
 * style.less: LESS styles for Coverage.
 *
 * Please see lesscss.org for more information about LESS.
 */

@import "definitions.less";
@import "mixins.less";
@import "ui.less";


/* Page-wide styles */
html, body, h1, h2, h3, p, td, th {
    margin: 0;
    padding: 0;
    border: 0;
    outline: 0;
    font-weight: inherit;
    font-style: inherit;
    font-size: 100%;
    font-family: inherit;
    vertical-align: baseline;
}

/* Set baseline grid to 16 pt. */
body {
    font-family: @font-family-text;
    font-size: 1em;
}

html>body {
    font-size: 16px;
}

/* Set base font size to 12/16 */
p {
    font-size: .75em;        /* 12/16 */
    line-height: 1.3333em;   /* 16/12 */
}

table {
    border-collapse: collapse;
}

a.nav {
    text-decoration: none;
    color: inherit;
}
a.nav:hover {
    text-decoration: underline;
    color: inherit;
}

/* Page structure */
#header {
    position: fixed;
    width: 100%;
    border-bottom: 1px solid @color-header-border-bottom;
    background: @color-header-gradient-top;
    .min-height(90px);
    .background-linear-gradient-top-to-bottom(@color-header-gradient-top, @color-header-gradient-bottom);
    .box-shadow(0 1px 6px @color-header-box-shadow);
    .content {
        padding: 1em 3em;
    }

    h1 {
        font-size: 1.25em;
    }

    h2.stats {
        margin-top: .7em;
        font-size: 1em;
    }

    .stats {
        span {
            //border: 1px solid;
            //padding: .1em .25em;
            //margin: 0 .1em;
            //cursor: pointer;
            //border-color: #999 #ccc #ccc #999;
            font-family: @font-family-ui;
            font-size: 0.9em;
            .chrome-button();
            .chrome-button-active();
        }
        span.hide_run,
        span.hide_exc,
        span.hide_mis,
        span.hide_par,
        span.par.hide_run.hide_par {
            //border-color: #ccc #999 #999 #ccc;
            .chrome-button-available();
        }
        span.par.hide_run {
            //border-color: #999 #ccc #ccc #999;
            .chrome-button-available();
        }
    }
}



#source {
    padding: 7em 1em 1em 1em;
    font-family: @font-family-code;
}

#indexfile #footer {
    margin: 1em 3em;
}

#pyfile #footer {
    margin: 1em 1em;
}

#footer .content {
    padding: 0;
    font-size: 85%;
    font-family: @font-family-ui;
    color: #666666;
    font-style: italic;
}

/* Help panel */
#keyboard_icon {
    float: right;
    cursor: pointer;
    // Keep some space on the right. Some browser addons overlay that space
    // and that makes the keyboard icon invisible.
    margin-right: 3em;
}

.help_panel {
    position: absolute;
    background: #ffc;
    padding: .5em;
    border: 1px solid #883;
    display: none;
}

#indexfile .help_panel {
    width: 20em; height: 4em;
}

#pyfile .help_panel {
    width: 16em; height: 8em;
}

.help_panel .legend {
    font-style: italic;
    margin-bottom: 1em;
}

#panel_icon {
    float: right;
    cursor: pointer;
}

.keyhelp {
    margin: .75em;
    .key {
        border: 1px solid black;
        border-color: #888 #333 #333 #888;
        padding: .1em .35em;
        font-family: @font-family-code;
        font-weight: bold;
        background: #eee;
    }
}


/* Source file styles */
#linenos {
    p {
        text-align: right;
        margin: 0;
        padding: 0 .5em;
        color: @color-line-number-text;
        font-family: @font-family-line-number-text;
        font-size: .625em;   /* 10/16 */
        line-height: 1.6em;  /* 16/10 */
        a {
            text-decoration: none;
            color: @color-line-number-text;
        }
        a:hover {
            text-decoration: underline;
            color: @color-line-number-text;
        }
    }
    p.highlight {
        background: #ffdd00;
    }
}

td.text {
    width: 100%;
    }

#text {
    p {
        margin: 0;
        padding: 0 0 0 .5em;
        border-left: 2px solid #ffffff;
        white-space: nowrap;
    }

    p.mis {
        background: #ffdddd;
        border-left: 2px solid #ff0000;
    }
    p.run,
    p.run.hide_par {
        background: #ddffdd;
        border-left: 2px solid #00ff00;
    }
    p.exc {
        background: #eeeeee;
        border-left: 2px solid #808080;
    }
    p.par,
    p.par.hide_run {
        background: #ffffaa;
        border-left: 2px solid #eeee99;
    }
    p.hide_run,
    p.hide_exc,
    p.hide_mis,
    p.hide_par,
    p.hide_run.hide_par {
        background: inherit;
    }

    span.annotate {
        font-family: @font-family-text;
        font-style: italic;
        color: #666;
        float: right;
        padding-right: .5em;
        }
    p.hide_par span.annotate {
        display: none;
    }

    /* Syntax coloring */
    .com {
        color: green;
        font-style: italic;
        line-height: 1px;
    }
    .key {
        font-weight: bold;
        line-height: 1px;
    }
    .str {
        color: #000080;
    }
}


/* index styles */
#index {
    margin: 0 0 0 3em;
    padding-top: 7em;

    td, th {
        text-align: right;
        width: 5em;
        padding: .25em .5em;
        border-bottom: 1px solid #eee;
        }
    th {
        font-style: italic;
        color: #333;
        border-bottom: 1px solid #ccc;
        cursor: pointer;
    }
    th:hover {
        background: #eee;
        border-bottom: 1px solid #999;
    }
    td.left,
    th.left {
        padding-left: 0;
    }
    td.right,
    th.right {
        padding-right: 0;
    }
    th.headerSortDown,
    th.headerSortUp {
        border-bottom: 1px solid #000;
    }
    td.name,
    th.name {
        text-align: left;
        width: auto;
    }
    td.name {
        a {
            text-decoration: none;
            color: #000;
        }
        a:hover {
            text-decoration: underline;
            color: #000;
        }
    }
    tr.total td {
        font-weight: bold;
        border-top: 1px solid #ccc;
        border-bottom: none;
    }
    tr.file:hover {
        background: #eeeeee;
    }
}