Zoom-dependent styles, optimize difference algorithm.

This commit is contained in:
Tom MacWright
2013-01-08 16:07:16 -05:00
parent 4347b134de
commit 9fc05f5e35
3 changed files with 32 additions and 4 deletions
+22
View File
@@ -34,6 +34,28 @@ circle.fill {
transform:scale(1, 1);
}
svg[data-zoom="16"] g.vertex circle.stroke,
svg[data-zoom="16"] g.vertex circle.fill {
-webkit-transform:scale(0.6, 0.6);
-moz-transform:scale(0.6, 0.6);
transform:scale(0.6, 0.6);
}
svg[data-zoom="17"] g.vertex circle.stroke,
svg[data-zoom="17"] g.vertex circle.fill {
-webkit-transform:scale(0.7, 0.7);
-moz-transform:scale(0.7, 0.7);
transform:scale(0.7, 0.7);
}
svg[data-zoom="16"] path.casing.tag-highway {
stroke-width:6;
}
svg[data-zoom="16"] path.stroke.tag-highway {
stroke-width:4;
}
g.vertex circle.stroke {
fill:#333;
}