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>
|