Browse Source

Totally finally fix every single removeDiffSigns bug forever (#607)

master
Federico Brigante 7 years ago
committed by Sindre Sorhus
parent
commit
7a8ee848a1
  1. 12
      extension/content.css

12
extension/content.css

@ -542,12 +542,12 @@ Hidden content area created to increase hover target
/* +/- Pseudo elements on diffs */
.refined-github-diff-signs .blob-code-addition:before,
.refined-github-diff-signs .blob-code-deletion:before {
position: relative;
top: -1px;
left: -8px;
display: inline-block;
position: absolute;
top: 1px;
font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace !important;
line-height: 0; /* Avoids extra vertical space */
font-size: 11px;
text-indent: -8px;
color: rgba(0, 0, 0, 0.3);
}
@ -558,6 +558,10 @@ Hidden content area created to increase hover target
.refined-github-diff-signs .blob-code-deletion:before {
content: '-';
}
.refined-github-diff-signs .blob-code-addition .blob-code-inner,
.refined-github-diff-signs .blob-code-deletion .blob-code-inner {
padding-left: 1ch;
}
/* Prevent copy of ghost whitespace where supported (#317) */
.refined-github-diff-signs .add-line-comment {

Loading…
Cancel
Save