| 88 <script> |
88 <script> |
| 89 const baseHref='${baseHref}'; |
89 const baseHref='${baseHref}'; |
| 90 <c:if test="${showWhatsNew}"> |
90 <c:if test="${showWhatsNew}"> |
| 91 function closeWhatsNew(showMore) { |
91 function closeWhatsNew(showMore) { |
| 92 if (showMore) { |
92 if (showMore) { |
| 93 location.assign(baseHref + 'about'); |
93 window.open(baseHref + 'about', '_blank'); |
| 94 } else { |
94 } else { |
| 95 document.getElementById('whats-new').style.display = 'none'; |
95 document.getElementById('whats-new').style.display = 'none'; |
| 96 document.getElementById('page-area').classList.remove('blurred'); |
96 document.getElementById('page-area').classList.remove('blurred'); |
| 97 } |
97 } |
| 98 } |
98 } |