body {
	max-width: 680px;
	margin: auto;
	padding: 1em;
	/* from standblog.org */
/*font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;
*/	
/*	font-size: 100.1%;*/ /*13pt;*/
	color: #222;
	line-height: 1.5em;
}

body {
  color: #111;
/*  font-family: "NonBreakingSpaceOverride","Hoefler Text",Garamond,"Times New Roman",serif;*/
font-family: Lora,'Palatino Linotype','Book Antiqua','New York','DejaVu serif',serif;
	font-weight: 100;
  font-size: 1.1em;
  /*line-height: 1.7;*/
  text-rendering: optimizeLegibility;
}

.index_title {
	font-size: 140%;
}

.index_title>a {
	/*text-decoration: none;*/
	/*color: #222;*/
}

.pitch {
	/* from standblog */
	font-family: Cambria, "Hoefler Text", Utopia, "Liberation Serif", "Nimbus Roman No9 L Regular", Times, "Times New Roman", serif;
	font-style: italic;
}

code {
/*		color: #F60; */
padding-left: 0.5ex;
padding-right: 0.5ex;
  background-color: #eee;
	/*font-size: 0.9em;*/
}

pre code {
	display: block;
	overflow-x: auto;	
  border-top: dashed grey 1px;
  border-bottom: dashed grey 1px;
  background-color: #eee;
  border-top: dashed grey 1px;
  border-bottom: dashed grey 1px;
	padding: 0.5em;
}


img {
	max-width: 100%;
}
video {
	max-width: 100%;
}

/* img center */
/* https://dev.to/bdavidxyz/markdown-center-image-39j1 */
img[src*='#center'] {
    display: block;
    margin: auto;
}

/* Make <samp>le console output vaguely reminiscent of a good ol' P1
phosphor CRT */

pre samp {
	display: block;
	overflow-x: auto;
	background-color: black;
	color: lightgreen;
	/*font-size: 0.9em;*/

  padding: 0.5em;
  display: block;
}

/* index */

h3 > a { text-decoration: none; color: black; }
h3 > a:hover { text-decoration: underline; color: blue; }

/* mathjax */
/* https://github.com/ad1729/ad1729.github.io/discussions/1#discussioncomment-11648564 */
mjx-container[display] {
  display: block;
  overflow-x: auto;
  overflow-y: hidden;
  max-width: 100%;
}