Commit 7a158b8d authored by Augustin Lemesle's avatar Augustin Lemesle
Browse files

fix get frama-c

parent df85c723
var x = document.getElementsByClassName("codeTabs");
if (x.length > 0) {
var OSName = "linux";
if (navigator.appVersion.indexOf("Win") != -1) OSName = "windows";
if (navigator.appVersion.indexOf("Mac") != -1) OSName = "mac";
if (navigator.appVersion.indexOf("X11") != -1) OSName = "linux";
if (navigator.appVersion.indexOf("Linux") != -1) OSName = "linux";
document.getElementsByClassName('tab-up-' + OSName)[0].classList.add("active");
document.getElementsByClassName('tab-' + OSName)[0].classList.remove('hide');
}
function clickTab(name) {
tabs_up = document.getElementsByClassName('tab-up');
tabs = document.getElementsByClassName('codeTab');
for (i = 0; i < tabs.length; i++) {
tabs[i].classList.add("hide");
tabs_up[i].classList.remove('active');
}
document.getElementsByClassName('tab-up-' + name)[0].classList.add("active");
document.getElementsByClassName('tab-' + name)[0].classList.remove('hide');
}
\ No newline at end of file
......@@ -55,3 +55,4 @@ var event_detail_swiper = new Swiper('#event_detail_swiper', {
event_detail_swiper.controller.control = event_calender_swiper;
event_calender_swiper.controller.control = event_detail_swiper;
......@@ -14,8 +14,7 @@ title: Get Frama-C
<h1 class="pageTitle">Choose for which OS you want Frama-C</h1>
<div class="OS codeTabs">
<a href="index.html#" role="button" data-tab="linux"><b>Linux</b></a> <a href="index.html#" role="button" data-tab=
"mac"><b>Mac</b></a> <a href="index.html#" role="button" data-tab="windows"><b>Windows (WSL)</b></a>
<a href="#" role="button" class="tab-up tab-up-linux" onClick="clickTab('linux')"><b>Linux</b></a> <a href="#" role="button" class="tab-up tab-up-mac" onClick="clickTab('mac')"><b>Mac</b></a> <a href="#" role="button" class="tab-up tab-up-windows" onClick="clickTab('windows')"><b>Windows (WSL)</b></a>
</div>
<br>
<a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
......@@ -86,3 +85,4 @@ opam depext --install -y frama-c</pre>
<div class="clear"></div>
</div>
</div>
<head><script type='text/javascript' src='/assets/js/codeTabs.js'></script></head>
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment