@charset "utf-8"; 
/* tex-jokes.css */

body {
text-align : center;
margin : 1em 7%;
}

div.joke {
font-size : 1em;
font-family: Georgia, "Times New Roman", times, serif;
font-weight : normal;
vertical-align : top;
text-align : left;
background-color : yellow;
color : black;
width : 75%;
border : 1px solid #0000FF;
margin-left  : auto;
margin-right : auto;
margin-top : 1em;
padding : 1em;
}

.intro {
font-size : 1.2em;
font-weight : bold;
font-family: Georgia, "Times New Roman", times, serif;
padding : 1em;
text-align : center;
margin-left  : auto;
margin-right : auto;
}

p { padding : 0.1em;
margin-left  : auto;
margin-right : auto;
margin-top : 0em;
}

h1 {text-align : center; }

div.prologue {
text-align : center;
margin-left  : auto;
margin-right : auto;
padding-bottom : 1em;
}

.small {
font-size : 85%;
}


/* tex-jokes.css */