Removed unnecessary files containing code with ...

Removed unnecessary files containing code with an uncertain copyright
status.

2 files changed, 0 insertions, 332 deletions

diff --git a/src/compiler/scala/tools/nsc/doc/html/resource/lib/old.css b/src/compiler/scala/tools/nsc/doc/html/resource/lib/old.css
deleted file mode 100644
index d3b7ae90ba..0000000000
--- a/src/compiler/scala/tools/nsc/doc/html/resource/lib/old.css
+++ /dev/null
@@ -1,206 +0,0 @@
-@import "reset.css";
-
-/* Javadoc style sheet */
-
-/* Define colors, fonts and other style attributes here to override the defaults  */
-
-/* Page background color */
-body { background-color: #FFFFFF }
-
-a:link.selfref, a:visited.selfref {
- color: #555 !important;
-}
-
-a:link, a:visited {
- font-family: sans-serif;
- color:#000099;
- text-decoration: none;
-}
-
-a:active, a:hover {
- color:#990000;
- text-decoration: underline;
-}
-
-a.noref {
- text-decoration: none;
- cursor:default;
-}
-
-
-
-font.FrameItemFont {
- font-size:10pt;
-}
-
-a:link.selfref, a:visited.selfref {
- font-family: sans-serif;
- color: #555 !important;
- }
-
-.a td {
- background: #ddd;
- color: #000;
- font-family: sans-serif;
- }
-
-h1 {
- font-size: 200%;
- font-weight: bold;
- text-align: center;
-}
-
-h2 {
-    font-family: sans-serif;
-    border:solid 1px #999999;
-    padding:10px;
-    background-color:#EEEEEE;
-    color:#990000;
-    font-family:sans-serif;
-    font-weight:bold;
-    /*line-height:2em;*/
-}
-
-h3 {
-    font-family: sans-serif;
-    border: 1px solid #555555;
-    background: #cccccc;
-    color:#990000;
-    padding:0.2em;
-}
-
-table {
-    border: none;
-    border-spacing: 2px;
-}
-
-
-tr.TableHeadingColor td {
-    font-family: sans-serif;
-    font-size: 9pt;
-    border: 1px solid #555555;
-}
-
-tr.TableRowColor td {
-    font-family: sans-serif;
-    font-size: 9pt;
-    border: 1px solid #999999;
-    cell-padding: 2px;
-}
-
-dt {
-    font-family: sans-serif;
-    font-size: 10pt;
-    color:#990000;
-    font-weight: bold;
-}
-
-dd {
-    font-size:10pt;
-    margin-top:4px;
-    margin-bottom:4px;
-}
-
-dd code {
-    color:#333333;
-    font-size:9pt;
-    font-size:normal;
-}
-
-/* Table colors */
-.TableHeadingColor     { background: #cccccc; color:#990000}
-.TableSubHeadingColor  { background: #bbbbbb; color:black;}
-.TableRowColor         { background: #EEEEEE }
-
-/* Font used in left-hand frame lists */
-.FrameTitleFont   { font-weight: 900; font-size: normal; font-family: sans-serif; color:#FFFFFF }
-.FrameHeadingFont {
-    font-weight: bold;
-    font-size: normal;
-    font-family: sans-serif;
-    color:#990000;
-    line-height: 2em;
-    border: 1px solid #aaaaaa;
-    padding-left:4px;
-    padding-right:4px;
-    padding-top:2px;
-    padding-bottom:2px;
-}
-.FrameItemFont    { font-size: normal; font-family: sans-serif; color:#FFFFFF }
-
-/* Example of smaller, sans-serif font in frames */
-/* .FrameItemFont  { font-size: 10pt; font-family: Helvetica, Arial, sans-serif } */
-
-/* Navigation bar fonts and colors */
-
-.NavBar {
-    background-color:#ddd;
-    border:none;
-    padding: 2px;
-    font-family: Arial, Helvetica, sans-serif;
-    font-size: 8pt;
-    color:#000000;
-    text-transform: uppercase;
-}
-.NavBar td {
-    white-space:nowrap;
-}
-td.NavBarCell1    {
-    text-align: left;
-}
-td.NavBarCell2    {
-    text-align: center;
-    font-weight: bold
-}
-td.NavBarCell3    {
-    text-align: right;
-
-}
-
-li, dd {
-    padding-left:2em;
-}
-
-.off {
-    font-weight: normal;
-    font-style: italic;
-}
-
-.isInherited {
-    background-color: #ede1e1;
-}
-
-.isDeprecated td.name {
-    text-decoration: line-through;
-}
-.apiComments {
-    margin-top : .3em;
-    margin-bottom: .5em;
-    margin-left: 2em;
-    font-size: 90%;
-}
-
-#intro .apiComments {
-    margin: 2em;
-}
-
-.detailsBtn {
-    font-size: 80%;
-    margin-left: 2em;
-}
-
-code.signature {
-}
-
-code.signature * {
-    font-family:inherit;
-}
-
-pre.codeAsDoc {
-    border: dashed 1px #909090;
-    padding: 5px;
-}
-
-td.name, td.type, td.remarks {
-    white-space:nowrap;
-}
diff --git a/src/compiler/scala/tools/nsc/doc/html/resource/lib/old.js b/src/compiler/scala/tools/nsc/doc/html/resource/lib/old.js
deleted file mode 100644
index a884d9e661..0000000000
--- a/src/compiler/scala/tools/nsc/doc/html/resource/lib/old.js
+++ /dev/null
@@ -1,126 +0,0 @@
-var showInherited = true;
-
-var toggleInherited= function() {
-  showInherited = !showInherited;
-  $.cookie('showInherited', showInherited);
-  updateInherited();
-}
-
-var updateInherited = function() {
-  $("input.filter_inherited_cb").each(function(){this.checked = showInherited});
-  if (showInherited) {
-      $("tr.isInherited").show();
-  } else {
-      $("tr.isInherited").hide();
-  }
-}
-
-$(document).ready(function(){
-  parent.document.title=document.title;
-  showInherited = $.cookie('showInherited');
-  updateInherited();
-  $("div.apiCommentsDetails").hide();
-});
-
-var selectPackage = function(name) {
-    if(parent.navFrame) {
-        parent.navFrame.selectPackage(name);
-    }
-}
-
-/**
- * Cookie plugin
- *
- * Copyright (c) 2006 Klaus Hartl (stilbuero.de)
- * Dual licensed under the MIT and GPL licenses:
- * http://www.opensource.org/licenses/mit-license.php
- * http://www.gnu.org/licenses/gpl.html
- *
- */
-
-/**
- * Create a cookie with the given name and value and other optional parameters.
- *
- * @example $.cookie('the_cookie', 'the_value');
- * @desc Set the value of a cookie.
- * @example $.cookie('the_cookie', 'the_value', { expires: 7, path: '/', domain: 'jquery.com', secure: true });
- * @desc Create a cookie with all available options.
- * @example $.cookie('the_cookie', 'the_value');
- * @desc Create a session cookie.
- * @example $.cookie('the_cookie', null);
- * @desc Delete a cookie by passing null as value. Keep in mind that you have to use the same path and domain
- *       used when the cookie was set.
- *
- * @param String name The name of the cookie.
- * @param String value The value of the cookie.
- * @param Object options An object literal containing key/value pairs to provide optional cookie attributes.
- * @option Number|Date expires Either an integer specifying the expiration date from now on in days or a Date object.
- *                             If a negative value is specified (e.g. a date in the past), the cookie will be deleted.
- *                             If set to null or omitted, the cookie will be a session cookie and will not be retained
- *                             when the the browser exits.
- * @option String path The value of the path atribute of the cookie (default: path of page that created the cookie).
- * @option String domain The value of the domain attribute of the cookie (default: domain of page that created the cookie).
- * @option Boolean secure If true, the secure attribute of the cookie will be set and the cookie transmission will
- *                        require a secure protocol (like HTTPS).
- * @type undefined
- *
- * @name $.cookie
- * @cat Plugins/Cookie
- * @author Klaus Hartl/klaus.hartl@stilbuero.de
- */
-
-/**
- * Get the value of a cookie with the given name.
- *
- * @example $.cookie('the_cookie');
- * @desc Get the value of a cookie.
- *
- * @param String name The name of the cookie.
- * @return The value of the cookie.
- * @type String
- *
- * @name $.cookie
- * @cat Plugins/Cookie
- * @author Klaus Hartl/klaus.hartl@stilbuero.de
- */
-jQuery.cookie = function(name, value, options) {
-    if (typeof value != 'undefined') { // name and value given, set cookie
-        options = options || {};
-        if (value === null) {
-            value = '';
-            options.expires = -1;
-        }
-        var expires = '';
-        if (options.expires && (typeof options.expires == 'number' || options.expires.toUTCString)) {
-            var date;
-            if (typeof options.expires == 'number') {
-                date = new Date();
-                date.setTime(date.getTime() + (options.expires * 24 * 60 * 60 * 1000));
-            } else {
-                date = options.expires;
-            }
-            expires = '; expires=' + date.toUTCString(); // use expires attribute, max-age is not supported by IE
-        }
-        // CAUTION: Needed to parenthesize options.path and options.domain
-        // in the following expressions, otherwise they evaluate to undefined
-        // in the packed version for some reason...
-        var path = options.path ? '; path=' + (options.path) : '';
-        var domain = options.domain ? '; domain=' + (options.domain) : '';
-        var secure = options.secure ? '; secure' : '';
-        document.cookie = [name, '=', encodeURIComponent(value), expires, path, domain, secure].join('');
-    } else { // only name given, get cookie
-        var cookieValue = null;
-        if (document.cookie && document.cookie != '') {
-            var cookies = document.cookie.split(';');
-            for (var i = 0; i < cookies.length; i++) {
-                var cookie = jQuery.trim(cookies[i]);
-                // Does this cookie string begin with the name we want?
-                if (cookie.substring(0, name.length + 1) == (name + '=')) {
-                    cookieValue = decodeURIComponent(cookie.substring(name.length + 1));
-                    break;
-                }
-            }
-        }
-        return cookieValue;
-    }
-};