Add small gap between line numbers and code

Change-Id: Ie65128872f318a42677e52420338684ad8d814f8

includes/SyntaxHighlight.php

@@ -346,7 +346,18 @@ class SyntaxHighlight {
 					return null;
 				}
 
-				return $result->getStdout();
+				$out = $result->getStdout();
+
+				// Convert line numbers to data attributes so they
+				// can be displayed as CSS generated content and be
+				// unselectable in all browsers.
+				$out = preg_replace(
+					'`<span class="linenos">([^<]*)</span>`',
+					'<span class="linenos" data-line="$1"></span>',
+					$out
+				);
+
+				return $out;
 			}
 		);
 

modules/pygments.wrapper.less

@@ -42,8 +42,9 @@
 		display: block;
 	}
 
-	/* Make line numbers non copyable */
 	.linenos {
+		margin-right: 4px;
+		/* Make line numbers non copyable */
 		-moz-user-select: none;
 		-webkit-user-select: none;
 		-ms-user-select: none;