Customizing the interface #62
Description
I know it is not critical to the operation of the service, but it would be nice if there was the possibility of making small customizations to the software. For example, there could be entries in the configuration file to be able to change the name, icon, and maybe take from a user's css file rules to override the basic one.
Something like:
{
"$schema": "https://raw.githubusercontent.com/sourcebot-dev/sourcebot/main/schemas/v2/index.json",
"repos": [
{
"type": "github",
"repos": [
...
]
}
],
"custom": {
"title": "My Search Service",
"favicon": "local/path/favicon.ico",
"small_logo": "local/path/small_logo.png",
"large_logo": "local/path/large_logo.png",
"small_logo_dark": "local/path/small_logo_dark.png",
"large_logo_dark": "local/path/large_logo_dark.png",
"css": "local/path/css_with_my_rules.css"
}
}