1<?php
2
3require_once(HTML2PS_DIR.'value.generic.php');
4
5class BorderWidth extends CSSValue {
6  var $left;
7  var $right;
8  var $top;
9  var $bottom;
10
11  function &copy() {
12    $value =& new BorderWidth($this->top, $this->right, $this->bottom, $this->left);
13    return $value;
14  }
15
16  function BorderWidth($top, $right, $bottom, $left) {
17    $this->left   = $left->copy();
18    $this->right  = $right->copy();
19    $this->top    = $top->copy();
20    $this->bottom = $bottom->copy();
21  }
22}
23
24?>