This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Iso8601UTCTimeFormatter(logging.Formatter): | |
""" | |
A logging Formatter class giving timestamps in a more common ISO 8601 format. | |
The default logging.Formatter class **claims** to give timestamps in ISO 8601 format | |
if it is not initialized with a different timestamp format string. However, its | |
format, "YYYY-MM-DD hh:mm:ss,sss", is much less common than, "YYYY-MM-DDThh:mm:ss.sss". | |
That is, the separator between date and time is a space instead of the letter "T" | |
and the separator for fractional seconds is a comma instead of a period (full stop). | |
While these differences may not be strictly *wrong*, it makes the formatted timestamp |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
* I add this to html files generated with pandoc. | |
*/ | |
html { | |
font-size: 100%; | |
overflow-y: scroll; | |
-webkit-text-size-adjust: 100%; | |
-ms-text-size-adjust: 100%; | |
} |