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

Index/Agency-Index: Add rounded corners to mobile box #1594

Merged
merged 1 commit into from
Aug 1, 2023

Conversation

machikoyasuda
Copy link
Member

fix #1578

@machikoyasuda machikoyasuda added this to the Veterans milestone Jul 31, 2023
@machikoyasuda machikoyasuda requested a review from a team as a code owner July 31, 2023 23:34
@machikoyasuda machikoyasuda self-assigned this Jul 31, 2023
@github-actions github-actions bot added front-end HTML/CSS/JavaScript and Django templates deployment-dev [auto] Changes that will trigger a deploy if merged to dev and removed front-end HTML/CSS/JavaScript and Django templates labels Jul 31, 2023
@machikoyasuda machikoyasuda changed the title Fix: Index/Agency-Index: Add rounded corners to mobile box Index/Agency-Index: Add rounded corners to mobile box Jul 31, 2023
@@ -787,6 +787,7 @@ a.card:focus-visible {
.landing .box {
background: var(--landing-box-background);
border-top: var(--landing-box-border);
border-radius: calc(8rem / 16);
Copy link
Member

@thekaveman thekaveman Aug 1, 2023

Choose a reason for hiding this comment

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

Not a blocker, but I just noticed we have a few different ways / places of specifying border-radius, I wonder if we want to consolidate at some point:

And now the one from this PR (=8px).

Copy link
Member Author

Choose a reason for hiding this comment

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

Yeah I noticed this too. We can refactor at another time.

@machikoyasuda machikoyasuda merged commit 63a351b into dev Aug 1, 2023
@machikoyasuda machikoyasuda deleted the fix/1578-rounded-corners branch August 1, 2023 17:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployment-dev [auto] Changes that will trigger a deploy if merged to dev
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Round corners of CTA box on Index, Agency Index for Mobile widths
2 participants