Add some margin to icon

c6p · c6p · commit 25a76b7e190e · 2021-09-26T20:20:11.000+03:00
diff --git a/src/main.js b/src/main.js
@@ -35,6 +35,8 @@ function main() {
       width: 1em;
       height: 1em;
       display: inline-block;
+      padding: 0.25rem;
+      margin: 0 0.25rem;
     }
     div[id^="hypothesis__/"] .block-properties:not(.page-properties) { display: none; 
   `);

Original file line number	Diff line number	Diff line change
`@@ -35,6 +35,8 @@ function main() {`
`35`	`35`	`width: 1em;`
`36`	`36`	`height: 1em;`
`37`	`37`	`display: inline-block;`
	`38`	`+ padding: 0.25rem;`
	`39`	`+ margin: 0 0.25rem;`
`38`	`40`	`}`
`39`	`41`	`div[id^="hypothesis__/"] .block-properties:not(.page-properties) { display: none;`
`40`	`42`	`);