Text this: Strict topoligies in non-Archimedean function spaces