Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: add favicon #324

Merged
merged 1 commit into from
Jul 2, 2021
Merged

docs: add favicon #324

merged 1 commit into from
Jul 2, 2021

Conversation

jfatta
Copy link
Contributor

@jfatta jfatta commented Jul 2, 2021

Add auth0 favicon to docs homepage

image

@@ -0,0 +1,20 @@
{%- if page.comments != false and jekyll.environment == "production" -%}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this file necessary if we don't use Disqus?

@@ -0,0 +1,35 @@
<footer class="site-footer h-card">
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why are we adding a custom footer?

@@ -0,0 +1,12 @@
<script>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should we add this?

<link rel="icon" type="image/png" href="favicon.png">
{%- feed_meta -%}
{%- if jekyll.environment == 'production' and site.google_analytics -%}
{%- include google-analytics.html -%}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same as above, do we need GA?

@@ -0,0 +1,14 @@
<ul class="social-media-list">
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What are these for? Do we want this?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same for the above individual social icons.

Copy link
Contributor Author

@jfatta jfatta Jul 2, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Widcket, yes. To override one include, we need to replicate the entire folder structure here https://github.com/jekyll/minima/tree/master/_includes. It is a common practice with github themes until you have your own. I tried adding only the header to our _includes folder and the make start-doc process fails.

@jfatta jfatta requested a review from Widcket July 2, 2021 23:02
@Widcket Widcket merged commit f9ab1c2 into main Jul 2, 2021
@Widcket Widcket deleted the docs-favicon branch July 2, 2021 23:07
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.

2 participants