.test-demo {
    background: #f0f8ff;
    border-radius: 8px;
    padding: 25px;
    margin: 20px 0;
    border-left: 4px solid #4CAF50;
}
.test-success {
    color: #4CAF50;
    font-weight: bold;
}
.test-failure {
    color: #f44336;
    font-weight: bold;
}
.test-structure {
    background: #fff;
    border: 1px solid #ddd;
    border-radius: 5px;
    padding: 15px;
    margin: 15px 0;
}
.spec-list {
    list-style-type: none;
    padding-left: 0;
}
.spec-list li {
    padding: 8px 0;
    border-bottom: 1px solid #eee;
}
.spec-list li:last-child {
    border-bottom: none;
}
.test-tip {
    background: #fffde7;
    border-left: 4px solid #ffc107;
    padding: 15px;
    margin: 20px 0;
    border-radius: 4px;
}
.coverage-badge {
    display: inline-block;
    background: #2196f3;
    color: white;
    padding: 3px 8px;
    border-radius: 12px;
    font-size: 0.85em;
    margin-right: 5px;
}