@media print {
	@page {
		margin: 3em;
	}

	body {
		font-size: 12pt;
		line-height: 1.3;
	}

	* {
		font-family: "Times New Roman", Times !important;
		font-size: 12pt;
	}

	i.fab {
		font-family: "Font Awesome 5 Brands" !important;
	}

	h1 {
		font-size: 24pt;
		font-weight: bold;
	}

	h2 {
		font-size: 20pt;
		margin-top: 25px;
		font-weight: bold;
	}

	h3 {
		font-size: 16pt;
	}

	a.explode[href^="http://"]:after, a.explode[href^="https://"]:after {
		content: " (" attr(href) ")";
		color: gray;
		font-family: monospace;
		font-size: 10pt;
	}
	a.explode:after {
		content: " (http://malchiodi.di.unimi.it" attr(href) ")";
		color: gray;
		ont-family: monospace;
		font-size: 10pt;
	}

	a {
		color: #000 !important;
		word-wrap: break-word;
		text-decoration: none !important;
	}

	a:hover {
		text-decoration: none !important;
	}

	.antispam:before {
		content: "malchiodi" "@" "di.unimi.it";
	}

	code {
		border: 0;
		color: #000;
		padding: 0;
		margin: 0;
	}

.dl-horizontal dt {
	    float: left;
	    clear: none;
	    width: auto;
	    text-align: right;
	    margin-right: 0.7em;
	    width: 10em;
	    font-weight: normal;
	 }

	.dl-horizontal dd {
	    margin-left: 10.7em;
	 }

	 dl dt {
		 font-weight: normal;
		 overflow: hidden;
		 white-space: nowrap;
		 text-overflow: ellipsis;
	 }

	footer {
		display: none;
	}

	.navbar {
		display: none;
	}

	.noprint {
		display: none;
	}

	p a.btn {
		display: none;
	}

	 table.publications td {
	 	max-width: 50em;
	 	min-width: 15em;
	 }
}