# # # patch "index.html" # from [afb67bb14afbefe9674cc67064fcdc5124d133c4] # to [97881d7c50cba4026d5437e88cb1895c494570b5] # # patch "res/styles.css" # from [0f7fecb8eeb5baadcc562d24bac55ca098ac6136] # to [a13da09732d8f74540dd9cf36451261c4916dc52] # ============================================================ --- index.html afb67bb14afbefe9674cc67064fcdc5124d133c4 +++ index.html 97881d7c50cba4026d5437e88cb1895c494570b5 @@ -30,108 +30,115 @@
- merging fest -
- NEWS: Fri Apr 11 2008, 0.40 release - +
+ merging fest
-
- Attend the European monotone summit from April 28th to May 4th 2008 in Germany! -
+
+
+ NEWS: Fri Apr 11 2008, 0.40 release + +
-
- Want to help? join irc, pick a quickie or claim a bug, write a missing test case... we're friendly +
+ Attend the European monotone summit
from April 28th to May 4th 2008 in Germany!
+
+ +
+ Want to help? join irc, pick a quickie or claim a bug,
write a missing test case
... we're friendly +
-
-

Get it

- -
+
+
+

Get it

+ +
- + -
-

Improve it

- +
+

Improve it

+ +
+
-
- +
============================================================ --- res/styles.css 0f7fecb8eeb5baadcc562d24bac55ca098ac6136 +++ res/styles.css a13da09732d8f74540dd9cf36451261c4916dc52 @@ -27,19 +27,19 @@ ul { } #header, #body { - width: 46em; margin-left: auto; margin-right: auto; background: white; border-left: 0.0625em solid #474747; border-right: 0.0625em solid #474747; - padding: 1em; } #header { margin-bottom: 0.5em; border-bottom: 0.0625em solid #474747; text-align: justify; + width: 46em; + padding: 1em; } #header p { @@ -56,34 +56,61 @@ ul { #body { border: 0.0625em solid #474747; + width: 44em; + padding: 2em; } +.other { + float: right; + width: 250px; + margin-top: 1em; + text-align: center; +} + +.other + .main { + margin-right: 250px; +} + +.main:after { + clear: both; +} + .entry { - border-bottom: 0.0625em dotted #CCCCCC; - margin-bottom: 1em; - padding-bottom: 1em; - margin-top: 1em; + border-top: 0.0625em dotted #CCCCCC; + margin-top: 2em; + padding-top: 2em; } +.entry:first-child { + border-top: 0; + margin-top: -1em; +} + .important { padding-left: 2.5em; - padding-top: 0.3em; - background: url(important.png) no-repeat; + background: url(important.png) no-repeat 0 1.5em; } .newversion { padding-left: 2.5em; - padding-top: 0.4em; - background: url(newversion.png) no-repeat; + background: url(newversion.png) no-repeat 0 1.5em; } +.boxes { + margin-top: 2em; + padding-top: 1em; + border-top: 0.0625em dotted #CCCCCC; + border-bottom: 0.0625em dotted #CCCCCC; + margin-bottom: 1em; +} + .box { float: left; margin-top: -1em; padding-right: 0.5em; margin-right: 0.5em; border-right: 0.0625em dotted #CCCCCC; - width: 14.5em; + width: 13.5em; } .box + .box + .box { @@ -116,10 +143,8 @@ ul { background: url(improveit.png) no-repeat; } - #footer { - border-top: 0.0625em dotted #CCCCCC; - padding-top: 1em; + margin-top: 1em; font-size: 0.7em; text-align: center; }