2023-04-30 12:24:16 -04:00
|
|
|
-- Server
|
|
|
|
|
port = "8080" -- port on which server should be launched
|
|
|
|
|
binding_ip_addr = "127.0.0.1" --ip address on the which server should be launched.
|
|
|
|
|
|
|
|
|
|
-- Website
|
2023-04-30 13:04:31 -04:00
|
|
|
-- The different colorschemes provided are:
|
|
|
|
|
-- {{
|
|
|
|
|
-- catppuccin-mocha
|
|
|
|
|
-- dracula
|
|
|
|
|
-- monokai
|
|
|
|
|
-- nord
|
|
|
|
|
-- oceanic-next
|
|
|
|
|
-- solarized-dark
|
|
|
|
|
-- solarized-light
|
|
|
|
|
-- tomorrow-night
|
|
|
|
|
-- }}
|
2023-04-30 12:24:16 -04:00
|
|
|
colorscheme = "catppuccin-mocha" -- the colorscheme name which should be used for the website theme
|
|
|
|
|
theme = "simple" -- the theme name which should be used for the website
|
