Smaller code font-size

Part of #56