@font-face {
  font-family: DejaVuSans;
  src: url('ttf/DejaVuSans.ttf') format('truetype');
}
@font-face {
  font-family: DejaVuSans;
  src: url('ttf/DejaVuSans-Bold.ttf') format('truetype');
  font-weight: bold;
}
body {
  background: #CCCCCC;
  /*background-image: url("py1.png");*/
  /* background-repeat: no-repeat; */
  /* background-repeat: repeat-x; */
  color: black;
}
.LD {
  background: white;
  color: grey;
  border: 5px double grey;
  border-radius: 20px;
  /* height: 80px; */
  width: 400px;
  margin: auto;
  text-align: center;
}
.company {
  background: white;
  color: grey;
  /*border: 5px double grey; */
  border-width: 5px;
  border-style: double;
  border-radius: 20px;
  /* height: 80px; */
  width: 600px;
  margin: auto;
  text-align: left;
  font-family: Dejavu Sans;
  font-size: 18px;
  font-style: normal;
  font-variant: normal;
  font-weight: 500;
  line-height: 20px;
  margin-top: 20px;
  padding: 10px;
}
.code {
  background: white;
  color: grey;
  border: 2px solid grey;
  border-radius: 4px;
  height: 120px;
  width: 80%;
  margin: auto;
  text-align: left;
  font-family: Dejavu Sans;
  font-size: 14px;
  font-style: normal;
  font-variant: normal;
  font-weight: 500;
  line-height: 16px;
  margin-top: 1px;
  padding: 1px;
  overflow: scroll;
  overflow: hidden;
}

h1 {
	font-family: DejavuSans;
	font-size: 48px;
	font-style: normal;
	font-variant: small-caps;
	font-weight: bold;
	line-height: 10px;
}
h2 {
	font-family: DejavuSans;
	font-size: 20px;
	font-style: normal;
	font-variant: normal;
	line-height: 24px;
}
h3 {
	font-family: DejavuSans;
	font-size: 14px;
	font-style: normal;
	font-variant: normal;
	line-height: 15.4px;
	font-weight: normal;
	font-variant: small-caps;
}
pre {
	font-family: DejavuSans;
	font-size: 12px;
	font-style: normal;
	font-variant: normal;
	font-weight: normal;
	line-height: 18.5667px;
}