function mann -d "Display man with bat (colored)"
    man $argv | bat -l man --style=plain
end