chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improve XML schema usability

Browse Source 
PiperOrigin-RevId: 852820889
Change-Id: I04eea45161f9e71f9ccf49afad57ff28fd099b35
This commit is contained in:
Yuval Tassa
2026-01-06 09:50:45 -08:00
committed by Copybara-Service
parent fa044fe0e5
commit 3868ed0382
10 changed files with 3197 additions and 1888 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/css/theme_overrides.css
+47
View File
@@ -227,6 +227,7 @@ table.mjcf-attributes {
border-style: none;
margin-left: 0;
margin-right: 0;
margin-bottom: 0.2em;
width: 100%;
box-shadow: none;
}
@@ -308,3 +309,49 @@ dt .at {
details summary {
font-weight: 600;
}
/* Compact schema dropdowns */
.schema-small details.sd-dropdown {
margin-bottom: 0.15em !important;
margin-top: 0 !important;
}
.schema-small .sd-card-header {
padding: 0.25em 0.5em !important;
}
.schema-small .sd-card-body {
padding: 0.25em 0.5em !important;
}
.schema-small .sd-summary-text {
font-size: 0.9em;
margin: 0 !important;
}
/* Prevent visited link color change in schema - use brand color */
.schema-small a:visited {
color: var(--color-brand-primary) !important;
}
/* Hierarchy visualization - left border for all dropdowns including top-level */
.schema-small .sd-dropdown,
.schema-small > .sd-dropdown,
.schema-small details.sd-dropdown {
border-left: 2px solid #5671cf;
}
/* Dark mode - slightly brighter blue for visibility */
body[data-theme="dark"] .schema-small .sd-dropdown,
body[data-theme="dark"] .schema-small > .sd-dropdown,
body[data-theme="dark"] .schema-small details.sd-dropdown {
border-left-color: #7b93e8;
}
@media (prefers-color-scheme: dark) {
body[data-theme="auto"] .schema-small .sd-dropdown,
body[data-theme="auto"] .schema-small > .sd-dropdown,
body[data-theme="auto"] .schema-small details.sd-dropdown {
border-left-color: #7b93e8;
}
}