dev/scss/main/main.scss

@import "highlight";   // JSON highlighting
@import "kwic";        // Kwic view information
@import "logos";       // Logo images
@import "matchinfo";   // Match table
@import "tree";        // Tree view
@import "pagination";  // Pagination
@import "query";       // View query
@import "resultinfo";  // Information on results
@import "tutorial";    // Embedded and non-embedded tutorial
@import "koralquery";  // KoralQuery
@import "tagger";      // Tagger
@import "alertify";    // Styling alerts
@import "intro";       // Intro page
@import "buttongroup"; // Button groups
@import "panel";       // Base panel system
@import "plugin";      // Plugin mechanism
@import "introjs";     // Guided Tour
@import "introjs-ids"; // Guided Tour: IDS specific 
main {
  margin: {
    left: $standard-margin; 
    right: ($standard-margin / 2);
  }
  padding-bottom: 20pt;
  &.embedded {
    margin: {
      left: 14px;
      right: 14px;
    }
  }
  p {
    text-align: justify;
    hyphens: auto;
  }

  h2#page-top {
    margin-top: 0;
    padding-top: 1em;
  }

  &.page {
    margin-left: $logo-left-distance + 15px;
    p,li, dd, dt {
      code {
        background-color: $ids-grey-2;
        color: $ids-grey-1;
        padding: 0 .5em;
        border-radius: $standard-border-radius;
      }
    }
  }
}

blockquote {
  border-radius: $standard-border-radius;
  padding: 2pt 5pt 2pt 20pt;
  margin: 0;
  border-left: 5px solid $ids-blue-1;
  background-color: $ids-blue-2;
  color: $ids-blue-1;

  &.bug, &.missing {
    border-left-color: $dark-red;
    background-color: $middle-red;
    color: $nearly-white;
  }
}