Skip to content

Conversation

@eric-wieser
Copy link
Contributor

@eric-wieser eric-wieser commented May 15, 2022

I should have tested this more in #10021; the styles were better than nothing, but quite ugly.

Here's how this looks now:

image

image

  • Pull request represents a single change (i.e. not fixing disparate/unrelated things in a single PR).
  • Title summarizes what is changing.
  • Has a news entry file (remember to thank yourself!).
  • Appropriate comments and documentation strings in the code.
  • Has sufficient logging.
  • Has telemetry for feature-requests.
  • Unit tests & system/integration tests are added/updated.
  • Test plan is updated as appropriate.
  • package-lock.json has been regenerated by running npm install (if dependencies have changed).

@eric-wieser eric-wieser requested a review from a team as a code owner May 15, 2022 22:05
@eric-wieser eric-wieser changed the title Extend the jupyter alert styles a little Fix padding and margin on jupyter alert styles May 15, 2022
@eric-wieser
Copy link
Contributor Author

Before this change, it looked like:

image

@eric-wieser
Copy link
Contributor Author

And this is how the same boxes appear in Jupyter:

image

@codecov-commenter
Copy link

codecov-commenter commented May 15, 2022

Codecov Report

Merging #10034 (00ffc95) into main (1a06230) will increase coverage by 0%.
The diff coverage is n/a.

@@          Coverage Diff           @@
##            main   #10034   +/-   ##
======================================
  Coverage     63%      63%           
======================================
  Files        215      215           
  Lines      10122    10122           
  Branches    1612     1612           
======================================
+ Hits        6473     6477    +4     
+ Misses      3131     3124    -7     
- Partials     518      521    +3     
Impacted Files Coverage Δ
...ommon/process/environmentActivationService.node.ts 69% <0%> (-1%) ⬇️
...rc/platform/common/dataScienceSurveyBanner.node.ts 70% <0%> (+5%) ⬆️

@rchiodo rchiodo merged commit b88378a into microsoft:main May 16, 2022
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.

3 participants