IE9 tweaks

This commit is contained in:
Sam Ruby 2010-09-20 11:01:57 -04:00
parent d4c4fa9818
commit bfc12a9ab4
2 changed files with 6 additions and 1 deletions

View File

@ -72,6 +72,7 @@ body > h1 {
border-bottom: 2px solid #ccd; border-bottom: 2px solid #ccd;
-webkit-border-bottom-left-radius: 1em; -webkit-border-bottom-left-radius: 1em;
-moz-border-radius: 0 0 0 1em; -moz-border-radius: 0 0 0 1em;
border-radius: 0 0 0 1em;
} }
#sidebar h2 { #sidebar h2 {
@ -88,6 +89,7 @@ body > h1 {
-webkit-border-top-left-radius: 6px; -webkit-border-top-left-radius: 6px;
-webkit-border-bottom-left-radius: 6px; -webkit-border-bottom-left-radius: 6px;
-moz-border-radius: 6px 0 0 6px; -moz-border-radius: 6px 0 0 6px;
border-radius: 6px 0 0 6px;
} }
#sidebar h2 a img { #sidebar h2 a img {
@ -138,6 +140,7 @@ body > h1 {
background-color: #EEE; background-color: #EEE;
-webkit-border-radius: 0.5em; -webkit-border-radius: 0.5em;
-moz-border-radius: 0.5em; -moz-border-radius: 0.5em;
border-radius: 0.5em;
border: 2px solid #BBB; border: 2px solid #BBB;
color:#000; color:#000;
display: block; display: block;
@ -192,6 +195,7 @@ body > h1 {
border: 1px solid #ccd; border: 1px solid #ccd;
-webkit-border-radius: 0.8em; -webkit-border-radius: 0.8em;
-moz-border-radius: 0.8em; -moz-border-radius: 0.8em;
border-radius: 0.8em;
width: 12.5em; width: 12.5em;
margin: 4px 0 0 24px; margin: 4px 0 0 24px;
} }
@ -235,6 +239,7 @@ body > h1 {
-webkit-border-top-left-radius: 0.5em; -webkit-border-top-left-radius: 0.5em;
-webkit-border-bottom-left-radius: 0.5em; -webkit-border-bottom-left-radius: 0.5em;
-moz-border-radius: 0.5em 0 0 0.5em; -moz-border-radius: 0.5em 0 0 0.5em;
border-radius: 0.5em 0 0 0.5em;
text-transform: none; text-transform: none;
font-size: medium; font-size: medium;
color: #667; color: #667;

View File

@ -20,7 +20,7 @@ function prevArticle(event) {
var scrollTop = document.documentElement.scrollTop || document.body.scrollTop; var scrollTop = document.documentElement.scrollTop || document.body.scrollTop;
for (var i=entries.length; --i>=0;) { for (var i=entries.length; --i>=0;) {
if (!entries[i].anchor) continue; if (!entries[i].anchor) continue;
if (entries[i].anchor.offsetTop < scrollTop) { if (entries[i].anchor.offsetTop+20 < scrollTop) {
window.location.hash=entries[i].anchor.id; window.location.hash=entries[i].anchor.id;
stopPropagation(event); stopPropagation(event);
break; break;