That's not really encoded. It's just a string with all of its characters converted to their javascript unicode entities. It wouldn't be that hard to write a little encoding routine for it. But it's so easy to break:
Code:
<textarea id="decoder" cols="50" rows="5" wrap="off"></textarea>
<script type="text/javascript">document.getElementById('decoder').value = 'string';</script>
that it's hardly worth bothering encoding anything in it in the first place.
In the above, replace 'string' with the actual string, in this case:
Code:
'\u003C\u0073\u0074\u0079\u006C\u0065\u0020\u0074\u0079\u0070\u0065\u003D\u0022\u0 . . .
[code removed for brevity]
. . . 4C\u007D\u000D\u003C\u002F\u0073\u0063\u0072\u0069\u0070\u0074\u003E'
The results will appear in the text area which you can select all and copy to any text based editor. This particular code gives:
Code:
<style type="text/css">
img {border:none; -webkit-transition: opacity 0.3s linear; opacity: 0.65; }
img:hover {-webkit-transition: opacity 0.3s linear; opacity: 1; border:none; text-decoration:none;}
a:link {color: #9d9d9d;te . . .
[code removed for brevity]
. . . dius: 8px;
-moz-box-shadow: 3px 3px 0 #ccc;
-webkit-box-shadow: 3px 3px 0 #ccc;
box-shadow: 3px 3px 0 #ccc;
}
</style>
<script type="text/javascript">
function changeNavigation(id)
{document.getElementById('content').innerHTML=document.getElementById(id).innerHTML}
</script>
The above 'translation' can also be obtained from any browser with developer tools capable of viewing the Generated Source of the page. IE 8 comes with, Firefox has had this as an optional add on for years. Other browsers probably have equivalent methods.
Bookmarks