body {
	color: #25232b; font-weight:normal;
    font-family: Noto Sans,Segoe UI,Frutiger,Frutiger Linotype,Dejavu Sans,Helvetica Neue,Arial,sans-serif;
	font-size:14px;
}
h4 {
	margin-bottom:0.4em;
	margin-top:1em;
	background-color:#D8E9B2;
}
h5 {
	font-size: 14px;
	margin-bottom:0.7em;
	margin-top:1em;
}
.pre {
	font-family:consolas;
	background:#fbfbfb;
	font-size:12px;
}
hr {
  border: 0;
  width: 100%;

	background-color: #7BBB43;
   height: 5px;
}
a img {border: none; }