diff options
| author | M Nasimul Haque <nasim.haque@gmail.com> | 2013-09-23 23:23:47 +0100 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2013-10-14 13:00:57 -0400 |
| commit | d07d6ae1167f93f2e88b3743c070003a66a31b35 (patch) | |
| tree | 7e492b8bed053b01f728a10702276895cf47c8a2 /docs/_theme/djangodocs/static/djangodocs.css | |
| parent | e077224f4ad69a68ae58a373ef69941272d3656c (diff) | |
Fixed #20910 -- Added a "snippet" sphinx directive to allow prefixing a filename.
Thanks Marc Tamlyn for the suggestion.
Diffstat (limited to 'docs/_theme/djangodocs/static/djangodocs.css')
| -rw-r--r-- | docs/_theme/djangodocs/static/djangodocs.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/_theme/djangodocs/static/djangodocs.css b/docs/_theme/djangodocs/static/djangodocs.css index 86ac07adb4..2b5288625b 100644 --- a/docs/_theme/djangodocs/static/djangodocs.css +++ b/docs/_theme/djangodocs/static/djangodocs.css @@ -100,6 +100,9 @@ pre { font-size:small; background:#E0FFB8; border:1px solid #94da3a; border-widt dt .literal, table .literal { background:none; } #bd a.reference { text-decoration: none; } #bd a.reference tt.literal { border-bottom: 1px #234f32 dotted; } +div.snippet-filename { color: white; background-color: #234F32; margin: 0; padding: 2px 5px; width: 100%; font-family: monospace; font-size: small; line-height: 1.3em; } +div.snippet-filename + div.highlight > pre { margin-top: 0; } +div.snippet-filename + pre { margin-top: 0; } /* Restore colors of pygments hyperlinked code */ #bd .highlight .k a:link, #bd .highlight .k a:visited { color: #000000; text-decoration: none; border-bottom: 1px dotted #000000; } |