diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/bookmarklets.html | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tools/bookmarklets.html b/tools/bookmarklets.html index 9800ab5aef..6034b57575 100644 --- a/tools/bookmarklets.html +++ b/tools/bookmarklets.html @@ -1,5 +1,5 @@ <!DOCTYPE html> -<html> +<html lang="en"> <head> <!-- This file is part of FFmpeg. @@ -30,14 +30,12 @@ pre { border: solid black 1px; padding: 0.2ex; font-size: 80% } <body onload="init()"> <h1>Introduction</h1> - -The scripts in this page are +<p>The scripts in this page are <a href="http://en.wikipedia.org/wiki/Bookmarklet">bookmarklets</a>: store their link version in a bookmark, and later activate the bookmark on a page -to run the script. +to run the script.</p> <h1>TED Talks captions</h1> - <p><a id="ted_talks_captions-link" href="#">Get links to the captions</a></p> <pre id="ted_talks_captions"> |