PLD-Guide pld-guide.xspp,1.9,1.10

[Artur Wróblewski]

Module name:    PLD-Guide
Changes by:     wrobell

Changed RCS file: /cvsroot/LDP/guide/docbook/PLD-Guide/stylesheet/pld-guide.xspp,v
----------------------------
revision 1.10
date: 2002/06/11 23:52:46;  author: wrobell;  state: Exp;  lines: +4 -4
- title font weight should be bold
- title should have 5pt padding (not margin!)
- title font size set to larger seems to be too small, let's change it to
  120%
 

Index: pld-guide.xspp
===================================================================
RCS file: /cvsroot/LDP/guide/docbook/PLD-Guide/stylesheet/pld-guide.xspp,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- pld-guide.xspp	11 Jun 2002 17:47:02 -0000	1.9
+++ pld-guide.xspp	11 Jun 2002 23:52:46 -0000	1.10
@@ -57,11 +57,11 @@
 div.title {
   width: 100%;
   text-align: center;
-  margin-top: 5px;
-  margin-bottom: 5px;
+  padding: 5px;
   color: #000000;
   background-color: #edf1fa;
-  font-size: larger;
+  font-size: 120%;
+  font-weight: bold;
 }
 a {
         text-decoration: none;