diff options
author | Laura Arjona Reina <larjona-guest> | 2015-05-28 20:55:33 +0000 |
---|---|---|
committer | Laura Arjona Reina <larjona-guest> | 2015-05-28 20:55:33 +0000 |
commit | d7932fd44e87b9c835c88814ec70a7ec565a9c2a (patch) | |
tree | fd9b96d73aa8d355448f6c0c10995740cc6a4c37 /english/debian.css | |
parent | b1a7c92ccf4751dff46f5338463ce3c99ce098dd (diff) |
Add style for <var> tag. Closes: #783666
CVS version numbers
english/debian.css: 1.102 -> 1.103
Diffstat (limited to 'english/debian.css')
-rw-r--r-- | english/debian.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/english/debian.css b/english/debian.css index 8448899b537..a9645df8493 100644 --- a/english/debian.css +++ b/english/debian.css @@ -424,6 +424,11 @@ tt, code { /* white-space: pre; */ color: black; } +var { + font-family: monospace; + font-style: italic; + color: black; +} dt { margin: 1.5em 0 0 0; font-weight: bold; |