| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263 | 
							- <!DOCTYPE html>
 
- <html>
 
- <head>
 
-   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 
-   <title>The source code</title>
 
-   <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
 
-   <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
 
-   <style type="text/css">
 
-     .highlight { display: block; background-color: #ddd; }
 
-   </style>
 
-   <script type="text/javascript">
 
-     function highlight() {
 
-       document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
 
-     }
 
-   </script>
 
- </head>
 
- <body onload="prettyPrint(); highlight();">
 
-   <pre class="prettyprint lang-js">@function min($value1, $value2) {
 
-     @if $value1 > $value2 {
 
-         @return $value2;
 
-     }
 
-     @else if $value2 > $value1 {
 
-         @return $value1;
 
-     }
 
-     @return $value1;
 
- }
 
- @function max($value1, $value2) {
 
-     @if $value1 > $value2 {
 
-         @return $value1;
 
-     }
 
-     @else if $value2 > $value1 {
 
-         @return $value2;
 
-     }
 
-     @return $value1;
 
- }
 
- @function top($box) {
 
-     @return parsebox($box, 1);
 
- }
 
- @function right($box) {
 
-     @return parsebox($box, 2);
 
- }
 
- @function bottom($box) {
 
-     @return parsebox($box, 3);
 
- }
 
- @function left($box) {
 
-     @return parsebox($box, 4);
 
- }
 
- @function vertical($box) {
 
-     @return top($box) + bottom($box);
 
- }
 
- @function horizontal($box) {
 
-     @return left($box) + right($box);
 
- }
 
- @function boxmax($box) {
 
-     @return max(max(top($box), right($box)), max(bottom($box), left($box)));
 
- }
 
- @function boxmin($box) {
 
-     @return min(min(top($box), right($box)), min(bottom($box), left($box)));
 
- }</pre>
 
- </body>
 
- </html>
 
 
  |