/********
  Module    : JSfeats.css
  Language  : CSS 1 (Cascading Style Sheets, level 1)
  Title     : JS features
  Summary   : Common styles for the Javascript Features document

  Author    : John G Harris
  Date      : 2-9-2017

  Copyright : John G Harris, 2003-2017

*********/



  BODY      { color: black; background: rgb(255,255,210);
              font-family: Times New Roman, Times, serif;
              font-size: larger;
              margin-left: 10%; margin-right: 10%; }
  A:link    { color: rgb(0,0,255); }
  A:visited { color: rgb(255,0,0); }

  H1,H2,H3,H4,H5,H6
            { font-family: Arial, Helvetica, sans-serif; }
  H1        { margin-top: 3em; }
  H2        { margin-top: 2em; }
  
  .cont     { font-family: Arial, Helvetica, sans-serif;
              padding: 0 3% 0 3%; }
  .cont P   { margin: 0 0 0.2em 0 }
  .cont SPAN  { padding-right: 0.5em; }
  .in0      { padding: 0.3em 0 0 0.2em; font-weight: bold; }
  .in1      { padding-left: 2em; }

  PRE       { font-family: Courier New, Courier, monospace;
              /* background: rgb(210,255,255); */ }

  .title    { font-family: Arial, Helvetica, sans-serif;
              text-align: center; }
  .title H1 { margin-top: 0.5em; }

  .tight    { margin-top: 1em; }
  .tight P  { margin-top: 0; margin-bottom: 0; }
  
  .code     { font-family: Courier New, Courier, monospace;
              font-weight: bold; }
  P.code    { margin-left: 2em; }

  .figure   { text-align: center; margin-top: 1em; }
  .figure P { font-family: Arial, Helvetica, sans-serif;
              font-weight: bold;
              margin-top: 0; }
  
  .plink    { font-weight: bold;
              margin-left: 2em; margin-bottom: 1em; }
              
  .types    { margin-left: 1em; }
  .types DT { font-weight: bold; margin-top: 0.5em; }



/**** End JSfeats.css **********************************************/