.CodeMirror{
    width: 100%;
    height: 100%;
    background-color:#FAFAFA;
}

.highlight-line {
  background-color: rgba(255, 255, 0, 0.3);
}

/* Diagram Creator Styles */
#diagramCanvas {
    background-color: white;
    cursor: crosshair;
    display: block;
}

.tool-button {
    width: 100%;
    height: 40px;
    margin-bottom: 3px;
    border: 2px solid #dee2e6;
    background-color: white;
    cursor: pointer;
    display: flex;
    align-items: center;
    gap: 7px;
    padding: 0 8px;
    transition: all 0.2s;
    border-radius: 4px;
    font-size: 12px;
    text-align: left;
    white-space: nowrap;
    overflow: hidden;
}

.tool-button:hover {
    background-color: #e9ecef;
    border-color: #0d6efd;
}

.tool-button.active {
    background-color: #0d6efd;
    border-color: #0d6efd;
    color: white;
}

.tool-section-label {
    font-size: 9px;
    font-weight: 700;
    color: #6c757d;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    padding: 6px 2px 2px;
    margin-top: 4px;
    border-bottom: 1px solid #dee2e6;
    margin-bottom: 3px;
}

.left-toolbar {
    background-color: #f8f9fa;
    padding: 8px;
    border-right: 2px solid #dee2e6;
    height: 94vh;
    width: 155px;
    min-width: 155px;
    display: flex;
    flex-direction: column;
    overflow-y: auto;
}

.canvas-container {
    overflow: hidden;
    height: 94vh;
    background-color: #e9ecef;
    position: relative;
}

.right-panel {
    height: 94vh;
    display: flex;
    flex-direction: column;
    background-color: #f8f9fa;
    border-left: 2px solid #dee2e6;
}

.property-editor {
    padding: 15px;
    border-bottom: 2px solid #dee2e6;
    flex: 0 0 auto;
    max-height: 50%;
    overflow-y: auto;
}

.dot-preview {
    flex: 1;
    display: flex;
    flex-direction: column;
    min-height: 0;
}

.dot-preview-header {
    padding: 10px 15px;
    background-color: #e9ecef;
    border-bottom: 1px solid #dee2e6;
    font-weight: bold;
}

.dot-preview-content {
    flex: 1;
    overflow-y: auto;
    padding: 15px;
    background-color: #fff;
    font-family: 'Courier New', monospace;
    font-size: 13px;
    white-space: pre;
}

.page { display: none; }
.pactive { display: block; }