use border-radius vars where possible

2026-08-09 04:46:35 +10:00 · 2012-10-03 09:26:52 -07:00
parent e73cd15fc8
commit dd8b745b88
15 changed files with 31 additions and 31 deletions
@@ -35,7 +35,7 @@ pre {
  background-color: #f5f5f5;
  border: 1px solid #ccc; // fallback for IE7-8
  border: 1px solid rgba(0,0,0,.15);
-  .border-radius(4px);
+  .border-radius(@baseBorderRadius);

  // Make prettyprint styles more spaced out for readability
  &.prettyprint {