}
pre.code {
- margin: 0 25px 0 25px;
+ margin-left: 25px;
+ margin-right: 25px;
padding: 5px;
background-color: #EEEEEE;
border: 1px solid black;
/* Status of translations */
#status {
+ margin-bottom: 10px;
border-collapse: collapse;
}
}
pre.code {
- margin: 0;
+ margin-left: 0;
+ margin-right: 0;
padding: 5px;
background-color: #FFFFFF;
border: 1px solid black;
/* Status of translations */
#status {
+ margin-bottom: 10px;
border-collapse: collapse;
}
+2005-02-22 Tim
+ Some margin updates:
+ Web\css: all.css print.css
+
2005-02-20 Tim
PATCH: [ 1144726 ] Web: Updated Developer instructions
Web\developer: needed.php