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.

Sign up for GitHub

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

Jump to bottom

The size of the -project-logo is not adaptive #17171

Closed
Dedelweiss opened this issue Mar 29, 2023 · 0 comments · Fixed by #17172
Closed

The size of the -project-logo is not adaptive #17171

Dedelweiss opened this issue Mar 29, 2023 · 0 comments · Fixed by #17172
Labels
area:doctool itype:bug

Comments

@Dedelweiss
Copy link
Contributor

Compiler version

Latest version

Problem noticed

Following the correction in PR #17170 of the issue #16693, I noticed that the logo did not fit any image size.
Example:
Screenshot 2023-03-29 at 14 11 54

Expectation

I think it would be easier for the user if he didn't have to choose the size of the logo before putting it on.
@Dedelweiss Dedelweiss added itype:bug stat:needs triage Every issue needs to have an "area" and "itype" label labels Mar 29, 2023
@Dedelweiss Dedelweiss mentioned this issue Mar 29, 2023
Merged
@mbovel mbovel added area:doctool and removed stat:needs triage Every issue needs to have an "area" and "itype" label labels Mar 31, 2023
Florian3k added a commit that referenced this issue Apr 12, 2023
@Florian3k
Fix: Modify the CSS so that the logo of the generated documentation i…
2297d25 
…s adaptive (#17172)

- Add a fixed max-width of the span
- Add a 100% for the img in the span
Fixes: #17171
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:doctool itype:bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix: Modify the CSS so that the logo of the generated documentation is adaptive Dedelweiss/dotty
2 participants
@mbovel @Dedelweiss