<script src="<?=$static?>/js/jquery.min.js"></script>
<script src="<?=$static?>/js/bootstrap.min.js"></script>
+ <script src="<?=$static?>/expert.js"></script>
</head>
- <body>
<body>
<nav class="navbar navbar-default">
<div class="container-fluid">
.tooltip-inner {
white-space:pre-wrap;
}
+.experthidden{
+ display: none;
+}
--- /dev/null
+(function() {
+ function showExpert(isExpert)
+ {
+ var elements = document.getElementsByClassName("expert");
+ for(var i = 0; elements.length > i; i++)
+ {
+ if(!isExpert) {
+ elements[i].setAttribute("class","expert experthidden");
+ } else {
+ elements[i].setAttribute("class","expert");
+ }
+ }
+ }
+ function init(){
+ showExpert(false);
+ var expert = document.getElementById("expertbox");
+ if(expert !== null) {
+ expert.onchange = (function(expert){return function(){showExpert(expert.checked)}})(expert);
+ }
+ }
+ (function(oldLoad) {
+ if (oldLoad == undefined) {
+ window.onload = init;
+ } else {
+ window.onload = function() {
+ init();
+ oldLoad();
+ }
+ }
+ })(window.onload);
+
+})();
}
}
}
- function showExpert(a)
- {
- b=document.getElementsByClassName("expert");
- for(i=0;b.length>i;i++)
- {
- if(!a) {b[i].setAttribute("class","expert experthidden"); }
- else {b[i].setAttribute("class","expert");}
- }
- b=document.getElementsByClassName("expertoff");
- for(i=0;b.length>i;i++)
- {
- b[i].setAttribute("class","");
- }
- }
- function init(){
- initMenu();
- showExpert(false);
- var expert = document.getElementById("expertbox");
- if(expert !== null) {
- expert.onchange = (function(expert){return function(){showExpert(expert.checked)}})(expert);
- }
- }
(function(oldLoad) {
if (oldLoad == undefined) {
window.onload = init;
} else {
window.onload = function() {
- init();
+ initMenu();
oldLoad();
}
}