Files
2026-07-13 13:17:40 +08:00

7 lines
101 B
CSS

/* CSS for binder integration */
div.binder-badge {
margin: 1em auto;
vertical-align: middle;
}