Skip to content

Commit 381cdb1

Browse files
authored
conf.py fix for linenos copy/mouse selection
1 parent d283844 commit 381cdb1

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

Diff for: docs/conf.py

+3-4
Original file line numberDiff line numberDiff line change
@@ -93,10 +93,7 @@
9393
</script>
9494
"""
9595

96-
html_context = {
97-
"github_url":github_url,
98-
"github_branch":git_branch_name
99-
}
96+
10097

10198
diag_fontpath = '/usr/share/fonts/truetype/dejavu/DejaVuSans.ttf'
10299
diag_html_image_format = 'SVG'
@@ -262,7 +259,9 @@
262259
'site_name': 'Community Training Classes & Labs',
263260
'next_prev_link': True
264261
}
262+
html_codeblock_linenos_style = 'table'
265263
html_last_updated_fmt = '%Y-%m-%d %I:%M:%S'
264+
html_context = {"github_url":github_url, "github_branch":git_branch_name}
266265

267266
if on_rtd:
268267
templates_path = ['_templates']

0 commit comments

Comments
 (0)