/*********************
 
       file:       bracket_box/theorem_style.css
       created:    13 june 2005 
                   We started with ex_ans_box/Exercise_answers.css and
                   made a few mods
       updates:
          22 june 2005  1) added the gmt_recommend_1 rule
                        2) added gmt_small_caps rule

    
    *********************/ 

    /************
      body 
        {
  background-color : #eeeeee; 
  font-family      : "Times New Roman", Times, serif, Arial, Helvetica, sans-serif ;    
        }  
    ************/

           .gmt_small_caps
              {
                   font-variant      :  small-caps ;
              }

           .gmt_recommend_1
                {
                   font-style        :  italic ;
                   font-weight       :  bold ;
                   font-size         :  16px ;        
                   font-family       :  "Times New Roman", Times, serif ;
                   margin-left       :  0.3in ;  
                }


           .gmt_link
               {
                   font-family       :  "Times New Roman", Times, serif ;     
                   background-color  :  #eeeeee ;  // smooth light gray
               }

          .gmt_link_table_1
               {
                   font-size          : 28px ;  
                   font-family        : "Times New Roman", Symbol, serif ;
                   background-color   : #eeeeee ;  // smooth light gray 
               }


      .proof_header
         {
            font-family   :  "Times New Roman", Times, serif ;
            font-size     :  40px ; 
            font-weight   :  normal ;
            color         :  blue ;  
         }

      .gauss_bracket
         { 
  /**** background-color : #eeeeee; ****/  
             background-color : transparent ;   
             font-weight      : bold ;
             width            : 20 ;
             height           : 20 ;
         }



          h1.cntr_red, h2.cntr_red 
                { 
                    text-align  :  center ;
                    color       :  #FF0000 ;   /* red */
                }    





 

      h1   { font-size  : 25pt }
      h2   { color  : blue }

 
      p
        { 
           font-family       :  "Times New Roman", Times, serif ;
           font-size         :  23px ;        
       
           font-weight       :  normal ;
           margin-left       :  0.6in ;  
           margin-right      :  1in ;   /* one inch */  
        }

    .gmt_equiv_arrow
        { 
           font-family         :  "Times New Roman", Times, serif  ;
           font-size           :  36px ;
           font-weight         :  normal ;
        }

 
    .gmt_imp_arrow
        { 
           font-family         :  "Times New Roman", Times, serif  ;
           font-size           :  36px ;
           font-weight         :  normal ;
   /****   THIS IS NO HELP        background-color    :   #eeeeee ;  ****/
        }
 
    .gmt_approx_eq
        { 
           font-family         :  "Times New Roman", Times, serif  ;
           font-size           :  24px ;
           font-weight         :  normal ;
        }
 
    .gmt_table_1
        {
            font-family   :  "Times New Roman", Symbol, serif ;
            font-size     : 23px ;   
        }