- // Credits, where applicable. Note that we don't want the footer to change a lot
- // when e.g. viewing history, so if any of these changed during the game,
- // use the current one still.
- if (current_data['using_lomonosov']) {
- document.getElementById("lomonosov").style.display = null;
- } else {
- document.getElementById("lomonosov").style.display = 'none';
- }
-