/********************* file: kepler_styles.css created: 25 june 2007 updates: 25 june 2007 1 ) Added tags .gmt_italic_def .gmt_def_header_1 .gmt_def_header_2 2 ) Increased font-size in

from 20 to 22 29 june 2007 1 ) Added tags gmt_table_3 and gmt_recommend_1 02 july 2007 1 ) Added tags gmt_underline_1 gmt_table_4_box 2 ) Added tag gmt_box 12 july 2007 1 ) Renamed tag from gmt_box to gmt_box_1 2 ) Added width property to the gmt_box_1 tag 01 aug 2007 1 ) Renamed tag from gmt_box_1 gmt_any_force_field 07 aug 2007 1 ) Changed the value of H2 09 aug 2007 1 ) Added two tags: distance_to_center and big_equals_sign 14 aug 2007 1 ) Added tag named blue_box_1 15 aug 2007 1 ) Added tags blue_box_2 and blue_box_3 2 ) Added tag gmt_update_italic 16 aug 2007 1 ) Added tags left_side_focus_link 17 aug 2007 1 ) Added tag named red_box_1 21 aug 2007 1 ) Added tag named right_side_focus_link 25 aug 2007 1 ) Increased width in red_box_1 from 45% to 52% 28 aug 2007 1 ) Added tag named ellipse_eq_1 01 sept 2007 1 ) Added tag named blue_box_1 that got lost earlier 03 sept 2007 1 ) Added tag named big_epsilon for use in the title of the html page epsilon_1_2_box/epsilon_1_2.htm but discovered later that this cannot be used 2 ) Added class named proof_stmt_nbr 20 nov 2007 1 ) Removed 4 instances of illegal comment phrase [ "// smooth light gray" ] 2 ) Fixed 2 errors by changeing "font-style : regular" to "font-style : normal" 3 ) Removed double quotes surrounding #eeeeee 4 ) Changed each eeeeee to #eeeeee in top_bottom_links, left_side_focus_link, and right_side_focus_link 5 ) Removed background-color field from BODY style tag 25 mar 2008 Changed font size from 30px to 23px in class="top_bottom_links" *********************/ .proof_stmt_nbr { color : blue ; font-size : 20px ; font-weight : bold ; font-style : normal ; font-family : "Arial, Times New Roman", Times, serif ; } .big_epsilon /** This FAILS inside an html TITLE tag **/ { font-size : 24pt ; } .ellipse_eq_1 { color : blue ; font-family : "Arial, Times New Roman", Times, serif ; font-size : 24px ; font-weight : bold ; font-style : normal ; } .gmt_update_italic { font-family : Arial, Helvetica, sans-serif ; color : black ; /*** font-size : 80% ; ***/ font-size : 18px ; font-weight : normal ; font-style : italic ; margin-left : 0.4in ; } .big_equals_sign { font-size : 35px ; font-style : normal ; font-weight : bold ; } .distance_to_center { font-size : 35px ; font-style : normal ; font-weight : bold ; } .left_side_focus_link, .right_side_focus_link { /****** font-variant : small-caps ; ****/ /**** text-decoration : none ; ****/ /**** font-weight:bold ; ****/ text-decoration : none ; vertical-align : middle ; font-style : italic ; font-weight : normal ; font-size : 24px ; font-family : "Times New Roman", Times, serif ; color : blue ; background-color : #eeeeee ; /**** background-color : white ; ****/ } .top_bottom_links { /**** font-variant : small-caps ; ****/ /**** text-decoration : none ; ****/ /**** font-weight:bold ; ****/ text-decoration : none ; vertical-align : middle ; font-style : italic ; font-weight : normal ; /**** font-weight : bold ; ****/ font-size : 23px ; /********* changed on 25 march 2008 font-size : 30px ; ****/ font-family : "Times New Roman", Times, serif ; color : blue ; background-color : #eeeeee ; /**** background-color : white ; ****/ } .gmt_any_force_field { width : 36% ; border-style : solid ; border-width : thick ; /**** border-color : blue ; ****/ border-color : red ; margin-left : 1.1in ; padding : 12pt ; font-weight : bold ; font-size : 25px ; font-family : "Times New Roman" ; } .red_box_1 { width : 52% ; border-style : solid ; border-width : thick ; border-color : red ; margin-left : 1.1in ; /**** margin-left : 0.6in ; ***/ padding : 12pt ; font-weight : bold; font-style : normal ; font-size : 25px ; font-family : "Times New Roman, Arial" ; } .blue_box_1 { width : 65% ; border-style : solid ; border-width : thick ; border-color : blue ; /**** border-color : red ; ***/ margin-left : 1.1in ; /**** margin-left : 0.6in ; ***/ padding : 12pt ; font-weight : bold; font-style : normal ; font-size : 20px ; font-family : Arial, "Times New Roman" ; } .blue_box_2 { width : 24% ; border-style : solid ; border-width : thick ; border-color : blue ; /**** border-color : red ; ***/ margin-left : 1.1in ; /**** margin-left : 0.6in ; ***/ padding : 12pt ; font-weight : bold; font-style : normal ; font-size : 20px ; font-family : Arial, "Times New Roman" ; } .blue_box_3 { /**** width : 28% ; ***/ width : 32% ; border-style : solid ; border-width : thick ; border-color : blue ; padding : 12pt ; font-weight : bold; font-style : normal ; font-size : 20px ; font-family : Arial, "Times New Roman" ; } .gmt_central_force_field { width : 75% ; border-style : solid ; border-width : thick ; border-color : blue ; /**** border-color : red ; ***/ /*** margin-left : 1.1in ; ***/ margin-left : 0.6in ; padding : 12pt ; font-weight : bold; font-style : normal ; font-size : 25px ; font-family : Arial, "Times New Roman" ; } .gmt_underline_1 { /******** text-decoration : underline ; *****/ font-style : italic ; font-weight : bold ; /****** font-size : 25px ; ******/ font-family : "Times New Roman", Times, serif ; } .gmt_recommend_1 { font-style : italic ; font-weight : bold ; font-size : 16px ; font-family : "Times New Roman", Times, serif ; margin-left : 0.3in ; } .gmt_choose_color { font-family : "Times New Roman", Times, serif ; /**** color : black ; ****/ /**** background-color : white ; ****/ font-size : 20px ; font-weight : bold ; } h1.cntr_red, h2.cntr_red { text-align : center ; color : #FF0000 ; } .gmt_link_table_1 { font-size : 28px ; font-family : "Times New Roman", Symbol, serif ; background-color : #eeeeee ; } .gmt_link { font-family : "Times New Roman", Times, serif ; background-color : #eeeeee ; } .gmt_italic_1 { font-style : italic ; font-weight : bold ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; } .gmt_italic_def { font-style : italic ; font-weight : bold ; font-size : 25px ; font-family : Arial, "Times New Roman", Times, serif ; } .gmt_def_header_1 { font-style : normal ; font-weight : bold ; font-size : 22px ; font-family : "Times New Roman", Times, serif ; } .gmt_def_header_2 { font-style : normal ; font-weight : bold ; font-size : 20px ; font-family : "Times New Roman", Times, serif ; } body { font-family : "Times New Roman", Times, serif, Arial, Helvetica, sans-serif ; } .poem_title { color : blue ; font-style : oblique ; font-weight : bold ; font-size : 30px ; font-family : "Times New Roman", Symbol, serif ; } h1 { font-size : 25pt } /****** h2 { color : blue } *****/ H2 { color : blue ; margin-left : 0.6in ; } /**** p { margin-left : 50px } ****/ p { font-family : "Times New Roman", Times, serif ; font-size : 22px ; font-weight : bold ; margin-left : 0.6in ; margin-right : 1in ; /* one inch */ } .article_source { font-family : "Times New Roman", Times, serif ; font-size : 20px ; font-weight : bold ; font-style : italic ; } .gmt_table_1 { font-size : 18px ; font-family : "Times New Roman", Symbol, serif ; } .gmt_table_2 { font-size : 18px ; font-family : "Times New Roman", Symbol, serif ; border-style : solid ; border-color : black ; border-top-width : medium ; border-right-width : medium ; border-left-width : medium ; border-bottom-width : medium ; } .gmt_table_3 { /****** font-family : "Times New Roman", Times, serif ; ******/ font-weight : bold ; font-size : 22px ; font-family : "Times New Roman" ; } .gmt_table_4_box { font-weight : bold ; font-size : 25px ; font-family : "Times New Roman" ; border-color : blue ; /****** frame : box ; ****/ /**** rules : cols ; ***/ border-left-width : thick ; border-right-width : thick ; border-top-width : thick ; border-bottom-width : thick ; }