[tor-commits] r25445: {website} Fix the <pre>s in debian (website/trunk/docs/en)

[Peter Palfrader]

Author: weasel
Date: 2012-02-17 16:56:55 +0000 (Fri, 17 Feb 2012)
New Revision: 25445

Modified:
   website/trunk/docs/en/debian.wml
Log:
Fix the <pre>s in debian

Modified: website/trunk/docs/en/debian.wml
===================================================================
--- website/trunk/docs/en/debian.wml	2012-02-17 16:51:50 UTC (rev 25444)
+++ website/trunk/docs/en/debian.wml	2012-02-17 16:56:55 UTC (rev 25445)
@@ -67,7 +67,7 @@
 Then add this line to your
 <tt>/etc/apt/sources.list</tt>
 file:<br />
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 deb     http://deb.torproject.org/torproject.org <DISTRIBUTION> main
 </pre>
 where you put the codename of your distribution (i.e. lenny, sid,
@@ -78,13 +78,13 @@
 <p>
 Then add the gpg key used to sign the packages by running the following
 commands at your command prompt:
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 gpg --keyserver keys.gnupg.net --recv 886DDD89
 gpg --export A3C4F0F979CAA22CDBA8F512EE8CBC9E886DDD89 | sudo apt-key add -
 </pre>
 Now refresh your sources, running the following command (as root) at your
 command prompt:
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 apt-get update
 </pre>
 If there are no errors you're good to continue.
@@ -93,14 +93,14 @@
 <p>
 We provide a Debian package to help you keep our signing key current.  It is
 recommended you use it.  Install it using
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 apt-get install deb.torproject.org-keyring
 </pre>
 </p>
 
 <p>
 To finally install Tor just run:
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 apt-get install tor
 </pre>
 </p>
@@ -131,7 +131,7 @@
 download/download>#packagediff">development branch</a> of Tor instead
 (more features and more bugs), you need to add a different set of lines
 to your <tt>/etc/apt/sources.list</tt> file:<br />
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 deb     http://deb.torproject.org/torproject.org <DISTRIBUTION> main
 deb     http://deb.torproject.org/torproject.org experimental-<DISTRIBUTION> main
 </pre>
@@ -142,7 +142,7 @@
 
 <p>
 Then run the following commands at your command prompt:
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 gpg --keyserver keys.gnupg.net --recv 886DDD89
 gpg --export A3C4F0F979CAA22CDBA8F512EE8CBC9E886DDD89 | sudo apt-key add -
 apt-get update
@@ -165,7 +165,7 @@
 <p>
 If you want to build your own debs from source you must first add an
 appropriate <tt>deb-src</tt> line to <tt>sources.list</tt>.
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 # For the stable version.
 deb-src http://deb.torproject.org/torproject.org <DISTRIBUTION> main
 
@@ -175,12 +175,12 @@
 </pre>
 You also need to install the necessary packages to build your own debs and the
 packages needed to build Tor:
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 apt-get install build-essential fakeroot devscripts
 apt-get build-dep tor
 </pre>
 Then you can build Tor in ~/debian-packages:
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 mkdir ~/debian-packages; cd ~/debian-packages
 apt-get source tor
 cd tor-*
@@ -188,7 +188,7 @@
 cd ..
 </pre>
 Now you can install the new package:
-<pre>
+<pre style="margin: 1.5em 0 1.5em 2em">
 sudo dpkg -i tor_*.deb
 </pre>
 </p>