@font-face {
  font-family: 'Source Serif Pro';
  font-style: normal;
  font-weight: 400;
  src: local('Source Serif Pro'),
    url("fonts/SourceSerifPro-Regular.woff") format('woff');
}

@font-face {
  font-family: 'Source Serif Pro';
  font-style: normal;
  font-weight: 700;
  src: local('Source Serif Pro Bold'),
    url("fonts/SourceSerifPro-Bold.woff") format('woff');
}

@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 400;
  src: local('Source Code Pro'),
    url("fonts/SourceCodePro-Regular.woff") format('woff');
}

body {
  font-family:"Source Serif Pro", Georgia, Times, "Times New Roman", serif;
  font-size:18px;
  color:#333;
}

a, a:link, a:visited, a:active {
  color:#3f80b0;
  text-decoration:none;
}

a:hover {
  color:#72B3E3;
}

a.referring {
  margin-top:10px;
  display:block;
}

.transcluded-section-header {
  background-color:#eee;
  padding:4px;
}

.transcluded-section-header.top-header {
  background-color:#ddd;
}

.transcluded-short {
  background-color:#eee;
}