html {
 	font-size: 14pt;
	line-height: 130%;
	background-color: #A6C7E8;
   }
   h1, h2 { line-height: 130%; }
   body { width: 70%; margin-left: auto; margin-right: auto; background-color: white; padding: 1em; padding-top: 0; }
   .title { text-align: center; }
   .todo  { color: red; }
   .done { color: green; }
   .timestamp { color: grey }
   .timestamp-kwd { color: CadetBlue }
   .tag { background-color:lightblue; font-weight:normal }
   .target { background-color: lavender; }
   /* a.target { display: none; } */
   pre {
 	border: 1pt solid #AEBDCC;
 	background-color: #F3F5F7;
 	padding: 5pt;
	font-size: 10pt;
   }
   table { border-collapse: collapse; }
   td, th {
 	vertical-align: top;
 	border: 1pt solid #ADB9CC;
   }