/************ file: c_1_style.css created: a few yrs ago updates: 31 Oct 2004 I don't remember what changes were made 25 Feb 2005 Trivial format revisions 15 Mar 2005 Turned off color in all rules except h1.cntr_red, h2.cntr_red, and red_emphasis 25 mar 2005 Added tag for gmt_imp_arrow 30 mar 2005 Removed rule for links_at_head 01 apr 2005 1) Removed rule for gmt_font_1 2) Removed some tabs 02 apr 2005 Removed tabs and added rule for email_links 03 apr 2005 Added the gmt_set_color_btn rule 08 apr 2005 1) Changed def of gmt_strong_1 2) Deleted these rules: links_at_foot, footer_links, gmt_font_1, underline, gmt_underline, 11 apr 2005 Add bgcolor to gmt_link_table_1 07 may 2005 Changed H3 to h3 and H4 to h4 12 may 2005 Revised the email_links rule to exactly match wiz_link 18 may 2005 Add q_arthur rule 20 may 2005 Add quote2_instr rule 27 may 2005 Tried to add gmt_power rule but is not supported 07 June 2005 Added the algorithm_1 rule 10 june 2005 Added the gauss_bracket rule 01 july 2005 Added the gmt_strong_3 rule 23 july 2005 Changed font-size from 100% to 115% in H4 rule 23 july 2005 Added gmt_intro_note 25 aug 2005 Added gmt_strong_4 for math refs of index.htm 07 nov 2005 Added gmt_caption_1 for firefox in craps_part_2 17 sept 2006 Added gmt_quote_garden_link_table tag 14 apr 2007 Added gmt_don_imus_1 tag 19 oct 2007 1 ) Renamed style tag from gmt_italic to gmt_update 2 ) Renamed gmt_link to others_link and altered its properties 3 ) Changed font size in gmt_update style tag 30 dec 2007 Expect q_arthur style tag to be obsolete from now on 25 mar 2008 Reduced font size from 30px to 23 px in top_bottom_links Note: pages 378-379 of XHTML by Don Gosselin say that font properties must be in this order: style, weight, variant, size, height, family ************/ .gauss_bracket { font-weight : bold ; width : 20 ; height : 20 ; } body { font-family : "Times New Roman", Times, serif, "MS serif", Arial, Symbol, sans-serif ; } .gmt_imp_arrow { font-family : "Times New Roman", Times, serif ; font-size : 36px ; font-weight : normal ; /**** THIS IS NO HELP background-color : #eeeeee ; ****/ } .gmt_equiv_arrow { font-family : "Times New Roman", Times, serif ; font-size : 36px ; font-weight : normal ; } .top_bottom_links { font-family : "Times New Roman", Times, serif ; /**** font-variant : small-caps ; ****/ /**** text-decoration : none ; ****/ /**** font-weight:bold ; ****/ text-decoration : none ; vertical-align : middle ; font-style : italic ; /**** changed on 25 mar 2008 font-size : 30px ; ******/ font-size : 23px ; color : blue ; background-color : "#eeeeee" ; // smooth light gray /**** background-color : white ; ****/ } .email_links { vertical-align : middle ; /**** font-style : italic ; ****/ font-weight : normal ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; color : blue ; background-color : #eeeeee ; // smooth light gray } .wiz_link { vertical-align : middle ; /**** font-style : italic ; ****/ font-weight : normal ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; color : blue ; background-color : #eeeeee ; // smooth light gray } .others_link { font-size : 16pt ; font-style : normal ; 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 } .gmt_set_color_btn { font-family : "Times New Roman", Times, serif ; font-size : 15px ; font-weight : bold ; } .gmt_choose_color { font-family : "Times New Roman", Times, serif ; /**** color : black ; ****/ /**** background-color : white ; ****/ font-size : 20px ; font-weight : bold ; } .gmt_general { /**** color : black ; ****/ /**** background-color : white ; ****/ font-weight : normal ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; margin-left : 0.6in ; margin-right : 1in ; /* one inch */ } .q_arthur { margin-left : 0.8in ; font-style : italic ; font-weight : bold ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; } .gmt_intro_note { font-style : normal ; font-weight : bold ; font-size : 18px ; font-family : "Times New Roman", Times, serif ; margin-left : 0.6in ; margin-right : 1in ; /* one inch */ } p { /**** color : black ; ****/ /**** background-color : "style_box/grey_background.jpg" ; ****/ /**** background-color : white ; ****/ /**** font-size : 100% ; ****/ font-weight : normal ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; margin-left : 0.6in ; margin-right : 1in ; /* one inch */ } .quote2_instr { font-weight : normal ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; margin-left : 1.5in ; margin-right : 1.5in ; /* 1.5 inches */ } .gmt_recommend_1 { font-style : italic ; font-weight : bold ; font-size : 16px ; font-family : "Times New Roman", Times, serif ; margin-left : 0.3in ; } .tip_class { font-family : "Times New Roman", Times, serif ; /**** color : black ; ****/ /**** background-color : lime ; ****/ font-size : 20px ; font-weight : normal ; font-style : normal ; } .gmt_note { /**** color : black ; ****/ /**** background-color : lime ; ****/ font-style : italic ; font-weight : normal ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; margin-left : 0.6in ; margin-right : 1in ; /* one inch */ } .gmt_update { font-family : Arial, Helvetica, sans-serif ; /**** color : black ; ****/ font-size : 18px ; /****** font-size : 75% ; ******/ font-weight : normal ; font-style : italic ; margin-left : 0.6in ; margin-right : 1in ; /* one inch */ } .gmt_red_7_and_6 { font-style : normal ; font-weight : bold ; font-size : 32px ; color : red ; font-family : Arial, Helvetica, sans-serif ; background-color : #eeeeee ; // smooth light gray } .gmt_strong_1 { font-style : italic ; font-weight : bold ; font-size : 115% ; font-family : "Times New Roman", Times, serif ; /**** font-family : Arial, Helvetica, sans-serif ; ****/ /**** color : black ; ****/ text-decoration : none ; /* as opposed to UNDERLINE */ } .gmt_strong_2 { font-style : normal ; font-weight : bold ; font-size : 115% ; font-family : "Times New Roman", Times, serif ; /**** font-family : Arial, Helvetica, sans-serif ; ****/ /**** color : black ; ****/ text-decoration : none ; /* as opposed to UNDERLINE */ } .gmt_strong_3 { font-style : normal ; font-weight : bold ; font-size : 160% ; font-family : "Times New Roman", Times, serif ; /**** font-family : Arial, Helvetica, sans-serif ; ****/ /**** color : black ; ****/ text-decoration : none ; /* as opposed to UNDERLINE */ } .gmt_strong_4 /* added 25 aug 05 for math ref in index.htm */ { font-style : italic ; font-weight : bold ; font-size : 96% ; font-family : "Times New Roman", Times, serif ; text-decoration : none ; /* as opposed to UNDERLINE */ } .gmt_don_imus_1 { font-style : normal ; font-weight : bold ; font-size : 130% ; font-family : "Times New Roman", Times, serif ; /**** font-family : Arial, Helvetica, sans-serif ; ****/ /**** color : black ; ****/ text-decoration : none ; /* as opposed to UNDERLINE */ } .gmt_sym_font { font-family : "Times New Roman", Symbol, serif ; /**** font-family : Symbol, "Times New Roman", serif ; ****/ /**** font-size : 0.90em ; ****/ font-size : 20px ; } .gmt_caption_1 { font-family : "Times New Roman", Symbol, serif ; font-size : 16px ; font-weight : bold ; } .gmt_table_1 { font-family : "Times New Roman", Symbol, serif ; font-size : 18px ; } .gmt_advice { font-size: 0.95em } h3 { /**** color : black ; ****/ text-align : left ; font-size : 120% ; font-family : "Times New Roman", Symbol, serif ; margin-left : 0.3in ; } h4 { text-align : left ; font-size : 115% ; font-family : "Times New Roman", Symbol, serif ; margin-left : 0.3in ; } h1.cntr_red, h2.cntr_red { text-align : center ; color : #FF0000 ; /* red */ } .red_emphasis { font-weight : bold ; color : #FF0000 ; } .algorithm_1 { font-weight : bold ; font-size : 28px ; font-family : "Times New Roman", Times, serif ; margin-left : 0.6in ; margin-right : 1in ; /* one inch */ } .gmt_quote_garden_link_table { font-weight : bold ; font-size : 14px ; font-style : italic ; font-family : "Times New Roman", Symbol, serif ; background-color : #eeeeee ; // smooth light gray }