// ==UserScript==
// @name Reddit Animated Sidebar
// @namespace http://userstyles.org
// @description Best side bar cover up.
// @author anonnow
// @homepage https://userstyles.org/styles/109720
// @include http://reddit.com/*
// @include https://reddit.com/*
// @include http://*.reddit.com/*
// @include https://*.reddit.com/*
// @run-at document-start
// @version 0.20150125230053
// ==/UserScript==
(function() {var css = [
"@namespace url(http://www.w3.org/1999/xhtml);",
"html {",
" overflow-x: hidden;",
"}",
"",
".side {",
" margin-left: 0px;",
" margin-right: -280px;",
" opacity: 0.6;",
" transition: opacity 0.5s, margin 0.5s;",
" -webkit-transition: opacity 0.5s, margin 0.5s;",
" -moz-transition: opacity 0.5s, margin 0.5s;",
" -o-transition: opacity 0.5s, margin 0.5s;",
" transition-delay: 1s;",
" -webkit-transition-delay: 1s;",
" -moz-transition-delay: 1s;",
" -o-transition-delay: 1s;",
" transition-timing-function: ease-in-out;",
" -webkit-transition-timing-function: ease-in-out;",
" -moz-transition-timing-function: ease-in-out;",
" -o-transition-timing-function: ease-in-out;",
"}",
"",
"body>.content, body {",
" /* This MUST apply to prevent showing stuff through the side bar */",
" z-index: -1 ;",
" position: relative ;",
"}",
"",
".side:hover, .side:focus {",
" transition: opacity 0.2s, margin 0.2s;",
" -webkit-transition: opacity 0.2s, margin 0.2s;",
" -moz-transition: opacity 0.2s, margin 0.2s;",
" -o-transition: opacity 0.2s, margin 0.2s;",
" /* Apply a negative margin to the left to prevent the content from",
" being shuffled around by the side bar */",
" margin-left: -280px;",
" margin-right: 0px;",
" opacity: 1;",
" transition-delay: 0s;",
" -webkit-transition-delay: 0s;",
" -moz-transition-delay: 0s;",
" -o-transition-delay: 0s;",
"}",
"",
".content {",
" margin-right: 40px ;",
"}"
].join("\n");
if (typeof GM_addStyle != "undefined") {
GM_addStyle(css);
} else if (typeof PRO_addStyle != "undefined") {
PRO_addStyle(css);
} else if (typeof addStyle != "undefined") {
addStyle(css);
} else {
var node = document.createElement("style");
node.type = "text/css";
node.appendChild(document.createTextNode(css));
var heads = document.getElementsByTagName("head");
if (heads.length > 0) {
heads[0].appendChild(node);
} else {
// no head yet, stick it whereever
document.documentElement.appendChild(node);
}
}
})();
