message: doxygen: backport style changes
diff: @@ -6,12 +6,11 @@ body, table, div, p, dl {
  }
  code {
  - font: 12px Consolas, "Liberation Mono", Courier, monospace;
  font-size: 85%;
  + font-family: "SFMono-Regular",Consolas,"Liberation Mono",Menlo,Courier,monospace;
  white-space: pre-wrap;
  padding: 1px 5px;
  - padding: 0;
  - background-color: #ddd;
  + background-color: rgb(223, 229, 241);
  vertical-align: baseline;
  }
  @@ -20,6 +19,16 @@ body {
  margin: 0 auto;
  }
  +div.fragment {
  + padding: 3px;
  + padding-bottom: 0px;
  +}
  +
  +div.line {
  + padding-bottom: 3px;
  + font-family: "SFMono-Regular",Consolas,"Liberation Mono",Menlo,Courier,monospace;
  +}
  +
  div.contents {
  width: 980px;
  margin: 0 auto;
  @@ -35,3 +44,11 @@ span.arrow {
  div.image img{
  max-width: 900px;
  }
  +
  +#projectlogo
  +{
  + text-align: center;
  + vertical-align: middle;
  + border-collapse: separate;
  + padding-left: 0.5em;
  +}
  