#
#
# add_file "res/ie7.css"
# content [aa7b1d212594a444d22a533491491e4cbebf35b6]
#
# patch "index.html"
# from [22bb740b8fa461a5c889a1ca4c5bd96b0218b4c9]
# to [2e5211d5de75441b7929a7aa7368a66c50c6785a]
#
# patch "res/styles.css"
# from [fb6452b06886a84919237c7f29bbb10a7ab1de46]
# to [0f7fecb8eeb5baadcc562d24bac55ca098ac6136]
#
============================================================
--- res/ie7.css aa7b1d212594a444d22a533491491e4cbebf35b6
+++ res/ie7.css aa7b1d212594a444d22a533491491e4cbebf35b6
@@ -0,0 +1,8 @@
+.box h1 {
+ margin-top: 1em;
+}
+
+.box ul {
+ padding-left: 0;
+ margin-top: -1em;
+}
============================================================
--- index.html 22bb740b8fa461a5c889a1ca4c5bd96b0218b4c9
+++ index.html 2e5211d5de75441b7929a7aa7368a66c50c6785a
@@ -1,9 +1,12 @@
monotone: distributed version control
+
============================================================
--- res/styles.css fb6452b06886a84919237c7f29bbb10a7ab1de46
+++ res/styles.css 0f7fecb8eeb5baadcc562d24bac55ca098ac6136
@@ -44,7 +44,7 @@ ul {
#header p {
font-size: 0.9em;
- line-height: 1.5em;
+ line-height: 1.45em;
margin-top: 0;
margin-right: 2em;
}
@@ -118,8 +118,7 @@ ul {
#footer {
- border-top: 0.1em dotted #CCCCCC;
- margin-top: 1em;
+ border-top: 0.0625em dotted #CCCCCC;
padding-top: 1em;
font-size: 0.7em;
text-align: center;