third_party/WebKit/LayoutTests/fast/borders/borderRadiusDashed05.html

   1 <html>
   2 <body>
   3   <style>
   4       #t {
   5           width: 400px;
   6           height: 400px;
   7           border: dashed rgba(255,0,0,1);
   8           border-width: 12px 4px 12px 4px;
   9           border-radius: 40px;
  10           border-left-color: rgba(0,0,255,1);
  11           border-bottom-color: rgba(0,128,0,0.5);
  12           border-right-color: rgba(0,128,0,0.5);
  13           -moz-box-sizing: border-box;
  14           box-sizing: border-box;
  15           margin: 20px;
  16       }
  17       div {
  18         margin: 10px 0;
  19       }
  20   </style>
  21   <div id="t"></div>
  22
  23
  24   <script>
  25       function update()
  26       {
  27           t.style.borderWidth = widthSlider.value + 'px ' + widthScale.value * widthSlider.value + 'px'
  28           t.style.webkitBorderRadius = radiusScale.value * radiusSlider.value + 'px ' + radiusSlider.value + 'px'
  29       }
  30   </script>
  31 </body>
  32 </html>