-produced as a vector file, in the SVG format (see http://www.w3.org/TR/2001/REC-SVG-20010904/ ).
-This format can be read by a range of programs, including a Netscape plugin (Adobe), full details at
-http://www.w3.org/Graphics/SVG/SVG-Implementations.htm8 Vector formats may often be smaller
-than raster formats.
+produced as a vector file, in the SVG format
+(see \urlref{W3C specifications}{http://www.w3.org/TR/2001/REC-SVG-20010904/}).
+This format can be read by a range of programs, including a Netscape plugin (Adobe), full details
+in the \urlref{SVG Implementation and Resource Directory}{http://www.svgi.org}.
+Vector formats may often be smaller than raster formats.