/**
 * @provides diviner-shared-css
 */

.diviner-monospace {
  font-family: monospace;
  font-size: 13px;
}

.diviner-table-view {
  margin: 0 16px 24px;
}

.device-phone .diviner-table-view {
  margin: 0 8px 16px;
}

.diviner-table-header {
  padding: 4px 16px;
  background-color: {$greybackground};
  border-left: 1px solid {$lightblueborder};
  border-right: 1px solid {$lightblueborder};
  border-top: 1px solid {$lightblueborder};
  display: inline-block;
  border-top-left-radius: 3px;
  border-top-right-radius: 3px;
  font-weight: bold;
  color: {$bluetext};
}

.diviner-return-table-view,
.diviner-parameter-table-view {
  width: 100%;
  background: {$lightgreybackground};
  border: 1px solid {$lightblueborder};
}

.diviner-return-table-type,
.diviner-parameter-table-type {
  padding: 6px 8px 6px 12px;
  white-space: nowrap;
  text-align: right;
  color: {$bluetext};
  width: 20%;
}

.diviner-parameter-table-name {
  padding: 6px 8px;
  white-space: nowrap;
  font-weight: bold;
}

.diviner-return-table-docs,
.diviner-parameter-table-docs {
  padding: 6px 12px 6px 8px;
  width: 80%;
  background-color: #fff;
}

.diviner-document-section {
  padding: 0 0 16px 0;
}

.device-phone .diviner-document-section {
  padding: 0 8px 16px 0;
}

.diviner-message-not-documented {
  color: {$lightgreytext};
  font-style: italic;
  margin: 16px;
}

.diviner-atom-signature {
  font-weight: normal;
}

.diviner-atom-signature-name {
  font-weight: bold;
}

.diviner-list .diviner-atom-signature {
  color: {$greytext};
}

.diviner-list a {
  font-weight: bold;
}

.diviner-method-implementation-header {
  color: {$greytext};
  margin-bottom: -8px;
}

.diviner-method-implementation-inherited {
  color: {$darkgreytext};
}

.diviner-method-implementation-inherited .diviner-method-implementation-header {
  color: {$lightgreytext};
}

/**
 * Fix excessive padding between method headers and method documentation for
 * methods with no inherited context.
 */
.diviner-document-section .phabricator-header-shell + .phabricator-remarkup {
  padding-top: 0;
}