()
| 315 | } |
| 316 | |
| 317 | function get_theme() { |
| 318 | var theme; |
| 319 | try { theme = localStorage.getItem('mdbook-theme'); } catch (e) { } |
| 320 | if (theme === null || theme === undefined) { |
| 321 | return default_theme; |
| 322 | } else { |
| 323 | return theme; |
| 324 | } |
| 325 | } |
| 326 | |
| 327 | function set_theme(theme, store = true) { |
| 328 | let ace_theme; |
no outgoing calls
no test coverage detected