d063ae166cf0e095be6793cb8f434a040f03cfeb
1 var roundedCornersOnLoad
= function () {
2 swapDOM("visual_version", SPAN(null, MochiKit
.Visual
.VERSION
));
3 roundClass("h1", null);
4 roundClass("h2", null, {corners
: "bottom"});
6 addLoadEvent(roundedCornersOnLoad
);
8 // rewrite the view-source links
9 addLoadEvent(function () {
10 var elems
= getElementsByTagAndClassName("A", "view-source");
11 var page
= "rounded_corners/";
12 for (var i
= 0; i
< elems
.length
; i
++) {
14 var href
= elem
.href
.split(/\//).pop();
15 elem
.target
= "_blank";
16 elem
.href
= "../view-source/view-source.html#" + page
+ href
;