57 lines
2.0 KiB
JavaScript
57 lines
2.0 KiB
JavaScript
|
/* markupwriter.vala
|
|||
|
*
|
|||
|
* Copyright (C) 2008-2009 Florian Brosch
|
|||
|
*
|
|||
|
* This library is free software; you can redistribute it and/or
|
|||
|
* modify it under the terms of the GNU Lesser General Public
|
|||
|
* License as published by the Free Software Foundation; either
|
|||
|
* version 2.1 of the License, or (at your option) any later version.
|
|||
|
*
|
|||
|
* This library is distributed in the hope that it will be useful,
|
|||
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|||
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|||
|
* Lesser General Public License for more details.
|
|||
|
*
|
|||
|
* You should have received a copy of the GNU Lesser General Public
|
|||
|
* License along with this library; if not, write to the Free Software
|
|||
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|||
|
*
|
|||
|
* Author:
|
|||
|
* Florian Brosch <flo.brosch@gmail.com>
|
|||
|
*/
|
|||
|
|
|||
|
function get_path (path) {
|
|||
|
var pos = path.lastIndexOf ('/');
|
|||
|
if (pos < 0) {
|
|||
|
return '';
|
|||
|
}
|
|||
|
|
|||
|
return path.substring (pos, -1) + '/';
|
|||
|
}
|
|||
|
|
|||
|
function toggle_box (self, id) {
|
|||
|
var element = document.getElementById (id);
|
|||
|
if (element == null) {
|
|||
|
return ;
|
|||
|
}
|
|||
|
|
|||
|
var style = self.currentStyle || window.getComputedStyle (self, false);
|
|||
|
var orig_path = /url[ \t]*\(('(.*)'|"(.*)")\)/.exec (style.backgroundImage)[1].slice(1, -1);
|
|||
|
var orig_dir = get_path (orig_path);
|
|||
|
if (element.style.display == 'block') {
|
|||
|
element.style.display = 'none';
|
|||
|
self.style.backgroundImage = "url('" + orig_dir + 'coll_open.svg' + "')";
|
|||
|
} else {
|
|||
|
element.style.display = 'block';
|
|||
|
self.style.backgroundImage = "url('" + orig_dir + 'coll_close.svg' + "')";
|
|||
|
}
|
|||
|
}
|
|||
|
|
|||
|
window.onload = function() {
|
|||
|
var nav = document.querySelector('.site_navigation');
|
|||
|
nav.innerHTML = '<div id="nav_content">'+nav.innerHTML+'</div>';
|
|||
|
var header = document.querySelector('.site_header');
|
|||
|
var data = header.innerHTML.split("–");
|
|||
|
header.innerHTML = data[0] + (data[1] ? '<div align="right" style="padding-right:20px; font-size:18px;">'+data[1]+'</div>' : '');
|
|||
|
}
|