body { font: 16px/1.5 system-ui, sans-serif; margin: 0 auto; max-width: 720px; padding: 16px; color: #222; background: #fff; }
nav a { margin-right: 12px; }
button { font: inherit; padding: 8px 12px; margin: 4px 4px 4px 0; }
pre { background: #f4f4f4; padding: 12px; overflow-x: auto; font-size: 13px; }
#banner { border: 1px solid #999; padding: 12px; margin: 12px 0; }
#banner[hidden] { display: none; }
.aviso { color: #666; font-size: 14px; }