/* Errata Workbench Styles */

body {
    font-family: Arial, sans-serif;
    margin: 20px;
    font-size: 14px;
    color: #333;
    padding: 0;
}

.user-info {
    border: 1px solid #ccc;
    padding: 10px;
    margin: 10px 0;
    font-size: 0.9em;
    font-family:'Courier New', Courier, monospace;
    color:#777;
}

h1, h2, h3 {
    color: #333;
    font-weight: normal;
    font-size: 1.2em;
}

.directory {
    margin-left: 0;
}
.file {
    color: #666;
}