vb6parse 1.0.0

/* LLVM Coverage Report Styles - Integrated with Site Theme */

/* Base theme variables for light theme */
:root {
    /* Main theme colors */
    --background-color: #ffffff;
    --text-color: #333333;
    --primary-color: #0066cc;
    --secondary-color: #f5f5f5;
    --border-color: #dddddd;
    
    /* Coverage-specific colors */
    --coverage-uncovered: #d00;
    --coverage-covered: #06d;
    --coverage-highlight-bg: #8884;
    --coverage-hover-bg: #eee;
    --coverage-tooltip-bg: #bef;
    --coverage-border: #8888;
    --coverage-yellow: #ff06;
    --coverage-red: #f004;
    --coverage-gray: #fff4;
    --coverage-green: #0f04;
    --coverage-control-bg: #FFF8;
}

/* Dark theme overrides */
[data-theme="dark"] {
    /* Main theme colors for dark mode */
    --background-color: #1a1a1a;
    --text-color: #e0e0e0;
    --primary-color: #4da6ff;
    --secondary-color: #2a2a2a;
    --border-color: #444444;
    
    /* Coverage-specific colors for dark mode */
    --coverage-uncovered: #f55;
    --coverage-covered: #39f;
    --coverage-highlight-bg: #8884;
    --coverage-hover-bg: #111;
    --coverage-tooltip-bg: #068;
    --coverage-border: #555;
    --coverage-yellow: #cc8800;
    --coverage-red: #cc0044;
    --coverage-gray: #444;
    --coverage-green: #00cc44;
    --coverage-control-bg: #2228;
}

/* Also support system preference */
@media (prefers-color-scheme: dark) {
    :root:not([data-theme="light"]) {
        --coverage-uncovered: #f55;
        --coverage-covered: #39f;
        --coverage-highlight-bg: #8884;
        --coverage-hover-bg: #111;
        --coverage-tooltip-bg: #068;
        --coverage-border: #555;
        --coverage-yellow: #cc8800;
        --coverage-red: #cc0044;
        --coverage-gray: #444;
        --coverage-green: #00cc44;
        --coverage-control-bg: #2228;
    }
}

/* Base styles */
html {
    scroll-behavior: smooth;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
    background-color: var(--background-color);
    color: var(--text-color);
    margin: 0;
    padding: 0;
}

/* Header and Navigation */
header {
    background:linear-gradient(135deg, var(--primary-color) 0%, #0052a3 100%);
    color: white;
    padding: 1rem 0;
    box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

header .container {
    max-width: 1200px;
    margin: 0 auto;
    padding: 0 2rem;
}

header h1 {
    margin: 0;
    font-size: 1.8rem;
    font-weight: 600;
    color: white;
}

header .tagline {
    margin: 0.25rem 0 0;
    opacity: 0.9;
    font-size: 0.9rem;
}

nav {
    background-color: var(--secondary-color);
    border-bottom: 1px solid var(--border-color);
    position: sticky;
    top: 0;
    z-index: 100;
}

nav .container {
    max-width: 1200px;
    margin: 0 auto;
    padding: 0 2rem;
    display: flex;
    align-items: center;
    justify-content: flex-start;
    gap: 2rem;
    min-height: 50px;
}

nav a {
    color: var(--text-color);
    text-decoration: none;
    padding: 0.75rem 0;
    font-weight: 500;
    transition: color 0.2s;
}

nav a:hover {
    color: var(--primary-color);
    text-decoration: none;
}

nav a:visited {
    color: var(--text-color);
}

/* Ensure nav links are visible in light theme */
:root nav a,
:root nav a:visited {
    color: #333333;
}

[data-theme="light"] nav a,
[data-theme="light"] nav a:visited {
    color: #333333;
}

/* Dark theme nav links */
[data-theme="dark"] nav a,
[data-theme="dark"] nav a:visited {
    color: #e0e0e0;
}

.theme-toggle {
    margin-left: auto;
    background: none;
    border: 1px solid var(--border-color);
    border-radius: 6px;
    padding: 0.5rem 1rem;
    cursor: pointer;
    font-size: 1.2rem;
    display: flex;
    align-items: center;
    justify-content: center;
    transition: all 0.2s;
}

.theme-toggle:hover {
    background-color: var(--primary-color);
    border-color: var(--primary-color);
}

.theme-icon {
    display: block;
    line-height: 1;
}

[data-theme="dark"] nav {
    background-color: var(--secondary-color);
    border-bottom-color: var(--border-color);
}

[data-theme="dark"] .theme-toggle {
    border-color: var(--border-color);
    color: var(--text-color);
}

[data-theme="dark"] .theme-toggle:hover {
    background-color: var(--primary-color);
    color: white;
}

/* Link styling - light theme */
a {
    color: var(--primary-color);
    text-decoration: none;
}

a:visited {
    color: #551a8b;
}

a:hover {
    text-decoration: underline;
}

/* Link styling - dark theme */
[data-theme="dark"] a {
    color: #66b3ff;
}

[data-theme="dark"] a:visited {
    color: #b39ddb;
}

[data-theme="dark"] a:hover {
    color: #99ccff;
}

/* Dark theme: colored coverage cells should use black text for better contrast */
[data-theme="dark"] .column-entry-green,
[data-theme="dark"] .column-entry-red,
[data-theme="dark"] .column-entry-yellow {
    color: black;
}

/* Also support system preference */
@media (prefers-color-scheme: dark) {
    :root:not([data-theme="light"]) a {
        color: #66b3ff;
    }
    
    :root:not([data-theme="light"]) a:visited {
        color: #b39ddb;
    }
    
    :root:not([data-theme="light"]) a:hover {
        color: #99ccff;
    }
    
    /* Colored coverage cells should use black text for better contrast */
    :root:not([data-theme="light"]) .column-entry-green,
    :root:not([data-theme="light"]) .column-entry-red,
    :root:not([data-theme="light"]) .column-entry-yellow {
        color: black;
    }
}

/* Headers should use theme text color */
h2, h4 {
    color: var(--text-color);
    margin: 10px;
}

/* Override main site pre styles for coverage reports */
pre {
    margin: 0 !important;
    padding: 0 !important;
    background: none !important;
    background-color: transparent !important;
    border: none !important;
    border-radius: 0 !important;
    font-family: 'Courier New', Courier, monospace !important;
    font-size: 0.9rem !important;
    overflow-x: visible !important;
    position: static !important;
}

/* Specific override for table pre elements */
table pre {
    margin: 0 !important;
    padding: 0 !important;
    background: transparent !important;
    border: none !important;
    color: inherit !important;
}

/* Ensure code elements don't override colors */
code {
    background: transparent !important;
    border: none !important;
    padding: 0 !important;
    color: inherit !important;
    font-family: 'Courier New', Courier, monospace !important;
}

/* Layout components */
.centered {
    display: flex;
    flex-direction: column;
    align-items: stretch;
    width: 100%;
    max-width: 1300px;
    min-width: 600px;
    margin: 2rem auto;
}

.centered .source-name-title {
    margin: 0px;
    padding-top: 15px;
    padding-bottom: 15px;
    background-color: var(--primary-color);
    color: white;
    font-weight: 600;
    text-align: center;
    border-top-left-radius: 8px;
    border-top-right-radius: 8px;
    box-shadow: 0 2px 8px rgba(0, 0, 0, 0.05);
}

.source-name-title a {
    color: #e6f2ff;
    text-decoration: none;
}

.source-name-title a:hover {
    color: white;
    text-decoration: underline;
}

.source-name-title a:visited {
    color: #cce0ff;
}

[data-theme="dark"] .source-name-title a {
    color: #ffffff;
}

[data-theme="dark"] .source-name-title a:hover {
    color: #e6f2ff;
    text-decoration: underline;
}

[data-theme="dark"] .source-name-title a:visited {
    color: #cce0ff;
}

.expansion-view {
    margin-left: 0;
    margin-top: 5px;
    margin-right: 5px;
    margin-bottom: 5px;
    border: 1px solid var(--coverage-border);
    border-radius: 3px;
}

/* Table styles */
table {
    border-collapse: collapse;
    width: 100%;
}

/* Summary tables (with coverage statistics) get centered card styling */
.centered table {
    margin-left: 0px;
    margin-right: 0px;
    margin-top: 0px;
    margin-bottom: 2rem;
    background: var(--card-bg);
    border-radius: 0 0 8px 8px;
    overflow: hidden;
    box-shadow: 0 2px 8px rgba(0, 0, 0, 0.05);
    
}

.light-row {
    border-top: 1px solid var(--border-color);
}

.light-row-bold {
    border-top: 1px solid var(--border-color);
    font-weight: bold;
}

/* Column entry styles */
.column-entry {
    text-align: center;
}

.column-entry-bold {
    font-weight: 700;
    text-align: left;
    background: var(--primary-color);
    color: white;
    padding: 1rem;
    text-transform: uppercase;
    font-size: 0.875rem;
    letter-spacing: 0.8px;
}

.column-entry-yellow {
    text-align: center;
    background-color: var(--coverage-yellow);
}

.column-entry-red {
    text-align: center;
    background-color: var(--coverage-red);
}

.column-entry-gray {
    text-align: center;
    background-color: var(--coverage-gray);
}

.column-entry-green {
    text-align: center;
    background-color: var(--coverage-green);
}

/* Line number and coverage indicators */
.line-number {
    text-align: right;
    user-select: none;
}

.covered-line {
    text-align: right;
    color: var(--coverage-covered);
    font-weight: 600;
}

.uncovered-line {
    text-align: right;
    color: var(--coverage-uncovered);
    font-weight: 600;
}

.skipped-line {
    text-align: right;
    color: var(--text-secondary, #999);
}

.uncovered-line.selected {
    color: var(--coverage-uncovered);
    font-weight: bold;
}

/* Region highlighting */
.region.red {
    background-color: var(--coverage-red);
}

.region.red.selected {
    background-color: var(--coverage-red);
    font-weight: bold;
}

.branch.red.selected {
    background-color: var(--coverage-red);
    font-weight: bold;
}

.red {
    background-color: var(--coverage-red);
}

.cyan {
    background-color: cyan;
}

/* Tooltip styles */
.tooltip {
    position: relative;
    display: inline;
    background-color: var(--coverage-tooltip-bg);
    text-decoration: none;
}

.tooltip span.tooltip-content {
    position: absolute;
    width: 100px;
    margin-left: -50px;
    color: #FFFFFF;
    background: #000000;
    height: 30px;
    line-height: 30px;
    text-align: center;
    visibility: hidden;
    border-radius: 6px;
    z-index: 1000;
}

.tooltip span.tooltip-content:after {
    content: '';
    position: absolute;
    top: 100%;
    left: 50%;
    margin-left: -8px;
    width: 0;
    height: 0;
    border-top: 8px solid #000000;
    border-right: 8px solid transparent;
    border-left: 8px solid transparent;
}

:hover.tooltip span.tooltip-content {
    visibility: visible;
    opacity: 0.8;
    bottom: 30px;
    left: 50%;
}

/* Table cell styles */
th, td {
    vertical-align: top;
    padding: 2px 8px;
    border-collapse: collapse;
    text-align: left;
}

/* Remove vertical padding and center content for source code tables */
td.line-number,
td.covered-line,
td.uncovered-line,
td.skipped-line,
td.code {
    padding: 0 8px;
    vertical-align: middle;
}

/* Summary table cells get better padding 
.centered th,
.centered td {
    padding: 0.75rem 1rem;
}
*/

th {
    background: var(--primary-color);
    color: white;
    font-weight: 700;
    text-transform: uppercase;
    font-size: 0.875rem;
    letter-spacing: 0.8px;
    border-bottom: 2px solid var(--border-color);
}

td pre {
    display: inline-block;
    text-decoration: inherit;
    vertical-align: middle;
}

/* Only apply hover to summary table rows, not source code lines */
.centered tbody tr:hover {
    background-color: var(--bg-secondary);
    transition: background 0.2s;
}

/* Remove alternating row backgrounds from style.css for coverage tables */
tbody tr:nth-child(even) {
    background-color: transparent;
}

[data-theme="dark"] tbody tr:nth-child(even) {
    background-color: transparent;
}

/* Highlight for targeted/selected source code lines */
tr:has(> td > a:target),
tr:has(> td.uncovered-line.selected) {
    background-color: var(--coverage-highlight-bg);
}

/* Coverage page adjustments - header and nav inherit from main site styles */
/* Add bottom margin to nav for spacing before coverage content */
nav {
    margin-bottom: 20px;
}

/* Ensure nav links are always white (nav has colored background) */
nav a,
nav a:visited {
    color: white;
}

nav a:hover {
    color: white;
    opacity: 0.8;
}

/* Control panel */
.control {
    position: fixed !important;
    bottom: 0 !important;
    right: 0 !important;
    top: auto !important;
    left: auto !important;
    padding: 1em;
    background: var(--coverage-control-bg);
    backdrop-filter: blur(10px);
    border-radius: 8px 0 0 0;
    z-index: 1000;
}

.control a {
    color: var(--primary-color);
    text-decoration: none;
    margin: 0 5px;
}

.control a:hover {
    text-decoration: underline;
}

/* Code display */
.code {
    font-family: 'Courier New', Courier, monospace;
    font-size: 0.9rem;
    line-height: 1;
    background: transparent !important;
}

.code pre {
    background: transparent !important;
    color: inherit !important;
    line-height: 1;
}

/* Table cells should inherit their background colors */
td.code {
    background: transparent;
}

/* Ensure proper spacing and sizing for summary tables */
.centered table {
    min-width: 600px;
}