Skip to content

Commit

Permalink
Remove margin: 0 from <pre> styling.
Browse files Browse the repository at this point in the history
This seems to break some themes which were not expecting Pygments to
change margins, and it doesn't look like it makes a difference for
standalone Pygments.
  • Loading branch information
Anteru committed Oct 28, 2020
1 parent a72957f commit 4dede40
Show file tree
Hide file tree
Showing 34 changed files with 34 additions and 34 deletions.
2 changes: 1 addition & 1 deletion pygments/formatters/html.py
Original file line number Diff line number Diff line change
Expand Up @@ -581,7 +581,7 @@ def prefix(cls):

@property
def _pre_style(self):
return 'line-height: 125%; margin: 0;'
return 'line-height: 125%;'

@property
def _linenos_style(self):
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">3</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">3</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;">3</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">1</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;">3</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 9</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 9</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;"> 9</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;"> 9</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">2</span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;"> 8</span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px;"> </span><span style="color: #408080; font-style: italic"># b</span>
<span style="color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px;">10</span><span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
</td>
<td class="code">
<div class="highlight" style="background: #f8f8f8">
<pre style="line-height: 125%; margin: 0;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<pre style="line-height: 125%;"><span></span><span style="color: #408080; font-style: italic"># a</span>
<span style="color: #408080; font-style: italic"># b</span>
<span style="color: #408080; font-style: italic"># c</span>
</pre>
Expand Down
Loading

0 comments on commit 4dede40

Please sign in to comment.