body { font-family: sans-serif; font-size: 14px; margin: 0; color: #222; }
nav { background: #2d3e50; color: #fff; padding: 8px 16px; }
nav a { color: #fff; text-decoration: none; }
main { padding: 16px 24px; max-width: 1200px; }
h1 { font-size: 24px; margin: 8px 0 12px; }
h2 { font-size: 18px; margin: 24px 0 8px; border-bottom: 1px solid #ccd; }
h3 { font-size: 15px; margin: 16px 0 6px; }
table { border-collapse: collapse; margin: 4px 0 12px; }
th, td { border: 1px solid #ccd; padding: 3px 8px; text-align: left; vertical-align: top; }
th { background: #eef1f5; }
.description, .comment { color: #444; }
.diagram img { max-width: 100%; border: 1px solid #ccd; }
dl.glossary dt { font-weight: bold; margin-top: 12px; }
dl.glossary dd { margin: 2px 0 2px 16px; }
ul.constraints li { font-family: monospace; }
.badge { display: inline-block; font-size: 11px; line-height: 16px; padding: 0 6px; margin-left: 4px; border-radius: 8px; background: #ffe9a8; color: #553; }
.badges { margin: 0 0 8px; }
table.properties td:first-child { font-weight: bold; }
span.prop { display: inline-block; font-size: 12px; color: #555; margin-left: 6px; }
ul.classified li { margin: 2px 0; }
pre.body { background: #f6f7f9; padding: 6px 8px; }