diff options
Diffstat (limited to 'sphinx/themes/basic/changes/rstsource.html')
-rw-r--r-- | sphinx/themes/basic/changes/rstsource.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/sphinx/themes/basic/changes/rstsource.html b/sphinx/themes/basic/changes/rstsource.html new file mode 100644 index 0000000..c93a28d --- /dev/null +++ b/sphinx/themes/basic/changes/rstsource.html @@ -0,0 +1,15 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" + "http://www.w3.org/TR/html4/loose.dtd"> +<html{% if language is not none %} lang="{{ language }}"{% endif %}> + <head> + <title>{% trans filename=filename, docstitle=docstitle|e %}{{ filename }} — {{ docstitle }}{% endtrans %}</title> + <style type="text/css"> + .hl { background-color: yellow } + </style> + </head> + <body style="font-size: 90%"> + <pre> + {{ text }} + </pre> + </body> +</html> |