body { 
  font-family: Verdana, Arial, sans-serif; font-size: 12px;
  margin-top: 0cm; margin-left: 0cm;
  background-color: white;
}

h1 { 
  font-size: 24px; 
  color: black; 
}

h2 {
  font-size: 24px;
  color: green;
}
  
h3 {
  font-size: 20px;
  color: black;
}

#content { 
  width: 900px; 
  background-color: white;
  margin-left: auto;
  margin-right: auto;
  margin-top: 10px;
}

.example_name {
  font-size: 20px;
  font-weight: bold;
}

.mycode {
  color: green;
}

table {
  font-size: 12px;
  border-spacing: 0px;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
}

tr.caption td {
  font-size: 12px;
  font-weight: bold;
  border-bottom: 1px solid black;
}

tr td {
  border-left: 1px solid black;
}

tr td + td {
  border-right: 1px solid black;
}

#top {
  padding: 0.7cm 1cm 0.7cm 1cm;
  border: 1px solid black; 
}

#updated {
  border: 0px
  padding: 0.7cm 1cm 0.7cm 1cm;
  width: 900px; 
  background-color: white;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0px;
}

#header {
  font-style: italic;
}

#abstract {
  text-align: justify;
}