| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- <!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">@import 'mixins/background-gradient';
- @import 'mixins/theme-background-image';
- @import 'mixins/inner-border';
- @import 'mixins/frame';
- @import 'mixins/reset-extras';
- @mixin no-select {
- user-select: none;
- -o-user-select: none;
- -ms-user-select: none;
- -moz-user-select: -moz-none;
- -webkit-user-select: none;
-
- cursor:default;
- }
- @mixin important-no-border-radius {
- //we need to hard code this so we can declare !important
- -moz-border-radius: 0 !important;
- -webkit-border-radius: 0 !important;
- -o-border-radius: 0 !important;
- -ms-border-radius: 0 !important;
- -khtml-border-radius: 0 !important;
- border-radius: 0 !important;
- }
- </pre>
- </body>
- </html>
|
