From: Guido Kanschat <dr.guido.kanschat@gmail.com>
Date: Mon, 11 Mar 2002 12:34:27 +0000 (+0000)
Subject: Some reformatting
X-Git-Tag: v8.0.0~18290
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=21a7365f1a4206089463ce1b869c30a3da114423;p=dealii.git

Some reformatting


git-svn-id: https://svn.dealii.org/trunk@5557 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/mail.html b/deal.II/doc/mail.html
index cdc69529f5..6ee2e3ed05 100644
--- a/deal.II/doc/mail.html
+++ b/deal.II/doc/mail.html
@@ -34,23 +34,7 @@
     </p>
     <ul>
       <li>
-        <strong> Write to the mailing list</strong> 
-        <p>
-           Send an email to <b>dealii</b> at <b>dealii.org</b>.
-          Please, use a significant subject line, such that everybody can
-          identify your message.
-        </p>
-      </li>
-      <li>
-        <strong> Reading archives of the mailing list</strong> 
-        <p>
-           All mails that have been sent through the mailing lists are archived
-          and can be read from the <a href="http://www.dealii.org/mail/maillist.html"
-          target="body">mailing list archive page</a>.
-        </p>
-      </li>
-      <li>
-        <strong> Join the mailing list</strong> 
+        <strong class="red"><strong>Join</strong> the mailing list</strong>
         <p>
            If you want to receive comments of other users and react to them,
           you should join the mailing list. To do this, don't write to
@@ -65,7 +49,7 @@
 </pre>
       </li>
       <li>
-        <strong> Unsubscribe from the list</strong> 
+        <strong class="red"><strong>Unsubscribe</strong> from the list</strong>
         <p>
            You can decide to leave the mailing list whenever you want. Write to
           <b>list-server</b> at <b>dealii.org</b> with a message body
@@ -75,7 +59,7 @@
 </pre>
       </li>
       <li>
-        <strong> Help on the mailing list</strong> 
+        <strong class="red"><strong>Help</strong> on the mailing list</strong>
         <p>
            If you have problems subscribing or unsubscribing, write an email to
           <b>list-server</b> at <b>dealii.org</b> with a message body
@@ -84,6 +68,22 @@
   help
 </pre>
       </li>
+      <li>
+        <strong class="red"><strong>Write</strong> to the mailing list</strong>
+        <p>
+           Send an email to <b>dealii</b> at <b>dealii.org</b>.
+          Please, use a significant subject line, such that everybody can
+          identify your message.
+        </p>
+      </li>
+      <li>
+        <strong class="red"><strong>Reading</strong> archives of the mailing list</strong>
+        <p>
+           All mails that have been sent through the mailing lists are archived
+          and can be read from the <a href="http://www.dealii.org/mail/maillist.html"
+          target="body">mailing list archive page</a>.
+        </p>
+      </li>
     </ul>
     <br height="10px">