Zachary Shilton a906a1b426
docs: Enable docs from remote plugin (#10656)
* Add local components to build on new DocsPage functionality.

* Add new nav-data format, and placeholder remote-plugins config

* Bump to pre-release components and implement remote loading

- Migrates /docs to new DocsPage API, and adds remote plugin loading functionality
- Migrates /guides and /intro to new DocsPage API

* Remove now unused JS nav config

* Cut empty comment line
2021-03-03 10:13:50 -05:00

15 lines
284 B
CSS

.root {
border-top: 1px solid;
border-bottom: 1px solid;
border-color: var(--danger-d1);
padding: 1rem;
font-size: 1rem;
background: var(--danger-l2);
font-family: var(--font-monospace);
color: var(--danger-d1);
}
.inner {
composes: g-grid-container from global;
}