Skip to content

Commit

Permalink
Change font family, fix invalid CSS (fixes #70) (#253)
Browse files Browse the repository at this point in the history
* Increase font size, fix invalid CSS (fixes #70)

* Revert to 15px, use Courier New font if available
  • Loading branch information
niutech authored and tombh committed Oct 1, 2019
1 parent 08c5ee8 commit f62d7dc
Showing 1 changed file with 4 additions and 7 deletions.
11 changes: 4 additions & 7 deletions webext/src/dom/serialise_mixin.js
Original file line number Diff line number Diff line change
Expand Up @@ -139,27 +139,24 @@ export default MixinBase =>
<title>${document.title}</title>
<style>
html * {
font-family: monospace;
font-family: 'Courier New', monospace;
}
body {
font-size: 15px;
}
pre {
background-image: url(${img_src});
background-size: contain;
background-repeat: no-repeat;
background-size: ${width}px ${height}px;
// Pixelate the background image
image-rendering: optimizeSpeed; /* STOP SMOOTHING, GIVE ME SPEED */
/* Pixelate the background image */
image-rendering: -moz-crisp-edges; /* Firefox */
image-rendering: -o-crisp-edges; /* Opera */
image-rendering: -webkit-optimize-contrast; /* Chrome (and eventually Safari) */
image-rendering: pixelated; /* Chrome */
image-rendering: optimize-contrast; /* CSS3 Proposed */
image-rendering: pixelated; /* Chrome */
-ms-interpolation-mode: nearest-neighbor; /* IE8+ */
width: ${width}px;
height: ${height}px;
// These styles need to exactly follow Browsh's rendering styles
/* These styles need to exactly follow Browsh's rendering styles */
font-size: 15px !important;
line-height: 20px !important;
letter-spacing: 0px !important;
Expand Down

0 comments on commit f62d7dc

Please sign in to comment.