-
Notifications
You must be signed in to change notification settings - Fork 29
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
Webview design cleanup #170
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for this! We'll probably pick this PR apart as far as what fonts we use where, but it will still be useful as a starting point for discussion on where we want to go with changes in fonts and styling.
@@ -1,6 +1,7 @@ | |||
* { | |||
box-sizing: border-box; | |||
outline: none; | |||
font-family: 'monospace', 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We'll probably want to use some of the VSCode-injected CSS variables like --vscode-font-family
, --vscode-font-weight
, and --vscode-editor-font-family
so we use the user's configured fonts- doing so allows us to integrate our webviews with the user's VSCode and take advantage of the fonts provided to us as a free resource.
I'm thinking since the --vscode-font-family
is generally sans serif and --vscode-editor-font-family
monospace, we can use the former for UI elements and the latter for the table.
This concern relates to #175 as well.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
we will iterate on this
🦢 🎵
Just a few tweaks to ui