Alexandre Julliard : transl: Add a margin to the contents of the text boxes .

[Alexandre Julliard]

Module: tools
Branch: master
Commit: 6462cc1e32dab36aae472dd1d7b61af490591858
URL:    http://source.winehq.org/git/tools.git/?a=commit;h=6462cc1e32dab36aae472dd1d...

Author: Alexandre Julliard <julliard(a)winehq.org>
Date:   Tue Jul 21 15:59:05 2009 +0200

transl: Add a margin to the contents of the text boxes.

---

 transl/php/index.php |    2 ++
 transl/php/lang.php  |    6 ++++++
 transl/php/style.css |    4 ++++
 3 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/transl/php/index.php b/transl/php/index.php
index eb08251..6cd0c7e 100644
--- a/transl/php/index.php
+++ b/transl/php/index.php
@@ -29,6 +29,7 @@ while ($line = fgets($summary, 1024))
 </head>
 <div class="main">
 <h1>Wine translation statistics <?php echo $TITLE_APPENDIX ?></h1>
+<div class="contents">
 
 <?php echo $TITLE_DESCR ?>
 
@@ -114,6 +115,7 @@ for ($i = 0; $i < count($transl); $i++)
 <?php draw_bar($transl_sum, $errors_sum, ($nr-1)*$sum) ?>
 </table>
 </div>
+</div>
 <?php
 if ($time = filemtime("$DATAROOT/langs/summary"))
 {
diff --git a/transl/php/lang.php b/transl/php/lang.php
index 2fe240a..2dfb7c7 100644
--- a/transl/php/lang.php
+++ b/transl/php/lang.php
@@ -92,16 +92,22 @@ if (preg_match("/:00/", $lang) && $translations == 0)
 
 <div class="group">
 <h2>Partially translated modules</h2>
+<div class="contents">
 <?php dump_table($partial) ?>
 </div>
+</div>
 <div class="group">
 <h2>Modules not translated</h2>
+<div class="contents">
 <?php dump_table($notransl) ?>
 </div>
+</div>
 <div class="group">
 <h2>Fully translated modules</h2>
+<div class="contents">
 <?php dump_table($transl) ?>
 </div>
+</div>
 
 </div>
 </html>
diff --git a/transl/php/style.css b/transl/php/style.css
index 0464bc2..affea71 100644
--- a/transl/php/style.css
+++ b/transl/php/style.css
@@ -38,6 +38,10 @@ div.main {
     border: 1px solid #601919;
 }
 
+div.contents {
+    margin: 5px;
+}
+
 div.group {
     margin: 10px 20% 10px 20%;
     background-color: white;