chore: Final touches for portals (#5388)

* chore: Final touches for portals

* Review fixes

* Minor fixes

* Fixes styles for input and buttons

* Minor fixes

* Spacing fixes on header

* Minor fixes

Co-authored-by: Sivin Varghese <64252451+iamsivin@users.noreply.github.com>
This commit is contained in:
Nithin David Thomas 2022-09-05 12:46:27 +05:30 committed by GitHub
parent 329e8c37c8
commit 80180a60c5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
22 changed files with 191 additions and 105 deletions

View file

@ -74,7 +74,7 @@ export default {
.header-expanded {
max-height: var(--space-giga);
overflow: scroll;
overflow: auto;
h2 {
font-size: var(--font-size-big);
margin-bottom: var(--space-small);