diff options
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/html/resource/lib/old.css | 206 | ||||
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/html/resource/lib/old.js | 126 |
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; - } -}; |