Skip to content

Add a proper theme for our mdbook website.#982

Open
copybara-service[bot] wants to merge 1 commit intomainfrom
test_912076532
Open

Add a proper theme for our mdbook website.#982
copybara-service[bot] wants to merge 1 commit intomainfrom
test_912076532

Conversation

@copybara-service
Copy link
Copy Markdown

Add a proper theme for our mdbook website.

We'll need this to add the logo to our website. Since it requires
introducing a bunch of files that were implicit before, I'm only adding
the bare minimum in this CL. I'll follow up with adding the logo once I
know it works.

We'll need this to add the logo to our website. Since it requires
introducing a bunch of files that were implicit before, I'm only adding
the bare minimum in this CL. I'll follow up with adding the logo once I
know it works.

PiperOrigin-RevId: 912076532
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant