<!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">.#{$prefix}form-textarea {
|
overflow: auto;
|
resize: none; //Disable browser resizable textarea
|
@if $include-safari {
|
.#{$prefix}safari.#{$prefix}mac & {
|
margin-bottom: -2px; // another bogus margin bug, safari/mac only
|
}
|
}
|
}</pre>
|
</body>
|
</html>
|
