diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/templates/interface.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/templates/interface.html b/doc/templates/interface.html index c159bf51..9436b415 100644 --- a/doc/templates/interface.html +++ b/doc/templates/interface.html @@ -2,12 +2,12 @@ <!DOCTYPE html PUBLIC "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd" ""> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> - <title>$interface.name</title> + <title>$interface.really_short_name — $spec.title</title> <link rel="stylesheet" href="style.css" type="text/css"/> </head> <body> <div class="header"> - <h1>Interface $interface.name</h1> + <h1>Interface <abbr title='$interface.name'>$interface.short_name</abbr></h1> <a href="index.html">Interface Index</a> (<a href="interfaces.html">Compact</a>) | <a href="#summary">Summary</a> |