h2 {
  margin-top: 3em;
  margin-bottom: 0em;
}

.head h2, #abstract h2, #sotd h2 {
  margin-top: 0;
}

h3 {
  margin-top: 3em;
}

.deprecation-box h3 {
    margin: 0;
    font-weight: bold;
    font-size: 120%;
    color: black;
	}
h4  {
  font-size: 100%;
  font-weight: normal;
  color: #005a9c;
  margin-top: 2em;
}

.leadin {
  font-weight: bold;
}

ins {
  background-color: #99FF99;
  text-decoration: none;
}

del {
  display: inline;
  color: silver;
}

figure {
  margin-bottom: 2em;
  text-align: center;
}

figcaption {
  text-align: center;
  margin: 0.5em 2em;
  font-style: italic;
  font-size: 90%;
}

.figno:after {
  content: ':\00A0  ';
}

a.termref:link {
  color:#C60;
  text-decoration:none;
  border-bottom: 1px dotted #FC0;
}

a.termref:hover {
  color:#C60;
  text-decoration:none;
  border-bottom: 1px dotted #FC0;
}

a.termref:visited {
  color:#C60;
  text-decoration:none;
  border-bottom: 1px dotted #FC0;
}

a.termref:active {
  color:#C60;
  text-decoration:none;
  border-bottom: 1px dotted #FC0;
}

.qterm:before, .qchar:before { content: "‘"; }

.qterm:after, .qchar:after { content: "’"; }

.quote:before { content: '“'; }

.quote:after { content: '”'; }

code {
  color: #A52A2A;
  font-family: Consolas, "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", Monaco, "Courier New", monospace;
  font-size: 100%;
}

samp, kbd {
  font-family: Consolas, "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", Monaco, "Courier New", monospace;
  font-size: 100%;
}

.uname {
  text-transform: uppercase;
  font-size: 85%;
  letter-spacing:0.03em;
}

.lettername {
  font-style: italic;
}

.tab-format {
  margin-left: 10%;
}

table td {
  border: 1px solid #ddd;
  padding: 10px;
}

.rtlTermCell {
  direction: rtl;
  text-align: right;
}

.exampleList {
  float: left;
  margin:10px;
}