cmd/dgit: Line numbers are not user-selectable

djmoch · Nov 6, 2023 · 9cdea36 · 9cdea36
1 parent de3891a
commit 9cdea36
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 7 deletions.
diff --git a/cmd/dgit/internal/serve/assets/site.css b/cmd/dgit/internal/serve/assets/site.css
@@ -42,21 +42,25 @@ nav table {
 }
 
 .linenum {
+  user-select: none;
   text-align: right;
   border-right: 1px solid;
+  padding-left: 5px;
   padding-right: 5px;
 }
 
-.line-content {
+.line-content, .readme {
   padding-left: 5px;
+  padding-right: 5px;
 }
 
 code {
   background: #eee;
   background-color: #eee;
 }
-  code tr {
-    height: 17px;
+
+code tr {
+  height: 17px;
 }
 
 pre code {

diff --git a/cmd/dgit/internal/serve/assets/site.min.css b/cmd/dgit/internal/serve/assets/site.min.css
diff --git a/cmd/dgit/internal/serve/assets/site.min.css.map b/cmd/dgit/internal/serve/assets/site.min.css.map
diff --git a/cmd/dgit/templates/tree.tmpl b/cmd/dgit/templates/tree.tmpl
@@ -27,7 +27,7 @@
 		{{- range .Tree.Entries }}
 		<tr><td>{{ .Mode.String }}</td><td><a href="{{ .Href }}">{{ .Name }}</a></td></tr>{{ end }}
 		</table>{{ end }}
-		{{ if .HasReadme }}<pre><code>{{ .Readme }}</code></pre> {{ end }}
+		{{ if .HasReadme }}<pre><code class="readme">{{ .Readme }}</code></pre> {{ end }}
 	</div>
 </body>
 </html>