[SCM] GNU gnutls branch, master, updated. gnutls_3_0_11-47-g3128d99

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU gnutls".

http://git.savannah.gnu.org/cgit/gnutls.git/commit/?id=3128d990f2cf142e70b97095564ee9e43f2239ff

The branch, master has been updated
       via  3128d990f2cf142e70b97095564ee9e43f2239ff (commit)
      from  3548a950551354f5cb367b08632d7ea81e4a62f1 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 3128d990f2cf142e70b97095564ee9e43f2239ff
Author: Nikos Mavrogiannopoulos <[email protected]>
Date:   Sat Jan 14 12:32:40 2012 +0100

    updated css for better html output.

-----------------------------------------------------------------------

Summary of changes:
 doc/alert-printlist.c     |    3 +-
 doc/scripts/gdoc          |    4 +-
 doc/scripts/split-texi.pl |    2 +-
 doc/texinfo.css           |   65 +++++++++++++++++++++++++++++++++++++++-----
 4 files changed, 61 insertions(+), 13 deletions(-)

diff --git a/doc/alert-printlist.c b/doc/alert-printlist.c
index 4d7ad38..fb6aef4 100644
--- a/doc/alert-printlist.c
+++ b/doc/alert-printlist.c
@@ -50,9 +50,8 @@ static void main_texinfo (void)
     gnutls_mac_algorithm_t mac;
     gnutls_protocol_t version;
 
-    printf ("Available alert messages:\n");
-    
     printf ("@multitable @columnfractions .55 .10 .30\n@anchor{tab:alerts}\n");
+    printf ("@headitem Alert @tab ID @tab Description\n");
     for (i = 0; i<256;i++)
       {
         if (gnutls_alert_get_strname(i)==NULL) continue;
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc
index 307888c..f93342d 100755
--- a/doc/scripts/gdoc
+++ b/doc/scripts/gdoc
@@ -377,7 +377,7 @@ sub output_enum_texinfo {
     my $type;
 
     print "\n\@c $name\n";
-    print "\@itemize\n";
+    print "\@table \@code\n";
 
     $check=0;
     foreach $parameter (@{$args{'parameterlist'}}) {
@@ -393,7 +393,7 @@ sub output_enum_texinfo {
 	chomp $out;
 	print $out . "\n";
     }
-    print "\@end itemize\n";
+    print "\@end table\n";
 }
 
 # output in html
diff --git a/doc/scripts/split-texi.pl b/doc/scripts/split-texi.pl
index b4b0087..325afaf 100755
--- a/doc/scripts/split-texi.pl
+++ b/doc/scripts/split-texi.pl
@@ -30,7 +30,7 @@ sub key_of_record {
 }
 
 if ($enum == 1) {
-  $/="\@end itemize";          # Records are separated by blank lines.
+  $/="\@end table";          # Records are separated by blank lines.
 } else {
   $/="\n\\end{function}";          # Records are separated by blank lines.
 }
diff --git a/doc/texinfo.css b/doc/texinfo.css
index 96df89e..14eb6f3 100644
--- a/doc/texinfo.css
+++ b/doc/texinfo.css
@@ -21,16 +21,16 @@ pre {
   margin: 0 5%;
   padding: 0.5em;
 }
-pre.example {
-  border: solid 1px;
-  background: #eeeeff;
-  padding-bottom: 1em;
-}
-pre.verbatim {
-  border: solid 1px gray;
-  background: white;
+pre.example,pre.verbatim {
   padding-bottom: 1em;
+
+  border: solid #c2e0ff;
+  background: #f0faff;
+  border-width: 1px 1px 1px 5px;
+  margin: 1em auto;
+  width: 90%;
 }
+
 div.node {
   margin: 0 -5% 0 -2%;
   padding: 0.5em 0.5em;
@@ -42,3 +42,52 @@ dd, li {
   padding-top: 0.1em;
   padding-bottom: 0.1em;
 }
+div.float {
+
+  margin-bottom: 0.5em;
+  text-align: center;
+}
+
+table {
+  text-align: left;
+  margin-left:auto;
+  margin-right:auto;
+  width: 50%;
+}
+
+th {
+  padding: 0;
+  color: #336699;
+  background-color: #c2e0ff;
+  border: solid #000000;
+  border-width: 0px;
+  margin: 1em auto;
+  text-align: center;
+  margin-left:auto;
+  margin-right:auto;
+}
+
+td {
+  padding: 0;
+  border: solid #000000;
+  background-color: #f0faff;
+  border-width: 0px;
+  margin: 1em auto;
+  text-align: left;
+  margin-left:auto;
+  margin-right:auto;
+  padding-left: 1em;
+}
+
+dl {
+  text-align: left;
+  margin-left:auto;
+  margin-right:auto;
+  width: 50%;
+
+  padding-left: 1em;
+  border: solid #c2e0ff;
+  background: #f0faff;
+  border-width: 1px 1px 1px 5px;
+  margin: 1em auto;
+}


hooks/post-receive
-- 
GNU gnutls