Rodrigo Rodriguez (Pragmatismo)
037db5c381
- Add comprehensive documentation in botbook/ with 12 chapters - Add botapp/ Tauri desktop application - Add botdevice/ IoT device support - Add botlib/ shared library crate - Add botmodels/ Python ML models service - Add botplugin/ browser extension - Add botserver/ reorganized server code - Add bottemplates/ bot templates - Add bottest/ integration tests - Add botui/ web UI server - Add CI/CD workflows in .forgejo/workflows/ - Add AGENTS.md and PROD.md documentation - Add dependency management scripts (DEPENDENCIES.sh/ps1) - Remove legacy src/ structure and migrations - Clean up temporary and backup files
64 lines
1.3 KiB
CSS
64 lines
1.3 KiB
CSS
.botcoder-terminal-container {
|
|
display: flex;
|
|
flex-direction: column;
|
|
height: 100%;
|
|
width: 100%;
|
|
background-color: var(--surface-active, #0f172a);
|
|
color: var(--text, #f8fafc);
|
|
}
|
|
|
|
.botcoder-terminal-header {
|
|
display: flex;
|
|
justify-content: space-between;
|
|
align-items: center;
|
|
background-color: var(--surface-hover, #334155);
|
|
border-bottom: 1px solid var(--border, #475569);
|
|
padding: 0;
|
|
}
|
|
|
|
.botcoder-terminal-tabs {
|
|
display: flex;
|
|
overflow-x: auto;
|
|
}
|
|
|
|
.botcoder-term-tab {
|
|
padding: 6px 16px;
|
|
font-size: 12px;
|
|
display: flex;
|
|
align-items: center;
|
|
gap: 8px;
|
|
cursor: pointer;
|
|
border-right: 1px solid var(--border, #475569);
|
|
color: var(--text-muted, #94a3b8);
|
|
}
|
|
|
|
.botcoder-term-tab.active {
|
|
background-color: var(--surface-active, #0f172a);
|
|
color: var(--text, #f8fafc);
|
|
border-bottom: 2px solid var(--accent, #3b82f6);
|
|
}
|
|
|
|
.close-tab {
|
|
font-size: 14px;
|
|
cursor: pointer;
|
|
opacity: 0.6;
|
|
}
|
|
.close-tab:hover { opacity: 1; color: #ef4444; }
|
|
|
|
.botcoder-terminal-actions {
|
|
display: flex;
|
|
padding: 0 8px;
|
|
gap: 4px;
|
|
}
|
|
|
|
.botcoder-terminal-body {
|
|
flex-grow: 1;
|
|
position: relative;
|
|
padding: 8px;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.xterm-container {
|
|
width: 100%;
|
|
height: 100%;
|
|
}
|