body { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; } # This affects "about" subtitle under page heading, and Copyright block .info { font-size: 13px; } # This affects Copyright block (tfm mod); except point-size not working .cr { font-size: 9px; color: green; } # font-size: 24px; .title { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 32px; line-height: 30px; font-weight: bold; color: #000000; margin-top: 0px; margin-bottom: 2px; } .subtitle { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 20px; line-height: 24px; font-weight: bold; color: #000000; margin-top: 3px; margin-bottom: 1px; } .section { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16px; line-height: 20px; font-weight: bold; color: #000000; } .subsection { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 16px; font-weight: bold; color: #000000; } .menutitle { font-family: Verdana, Arial, Helvetica, sans-serif; #font-size: 12px; font-size: 18px; # TFM mod font-weight: bold; color: #202060; } .menu { # TFM mod font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; color: #202060; } .class_heading { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 71px; font-weight: bold; color: #202060; color: green } .listtitle { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16px; line-height: 18px; font-weight: bold; color: ; } # Timji tweaked from 12 to 16 a { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; line-height: 16px; text-decoration: none; color: #00AAF0; white-space:nowrap; } a:hover { color: #ED2328; } a.menu { white-space:nowrap; } a.menu:hover { color: #ED2328; } a.menuselect { font-weight: bold; #font-size: 16px; # TFM addition color: #F08900; white-space:nowrap; } a.menuselect:hover { font-weight: bold; color: #ED2328; } #MEnubar { margin-top: 6px; margin-bottom: 6px; } a.navlink { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; line-height: 12px; text-decoration: none; color: #00AAF0; white-space:nowrap; } a.navlink:hover { color: #ED2328; } .pagename { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16px; font-weight: bold; color: #000000; margin-top: 6px; } .pagename:hover { color: ; } .diagram { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; line-height: 12px; text-decoration: none; color: #000000; white-space:nowrap; } pre.mini { font-family: "Courier New", Courier, monospace; font-size: 8px; } .ttcode { font-weight: bold; } hr { border: 1; # border: 0; # color: #00AAF0 color: "darkred" # TFM mod, to make HR visible! # background-color: #00AAF0 background-color: "yellow" # height: 3px; height: 3px; } # Timji experiments with advice from www.w3.org/MarkUp/Guide/Style # WARNING! Much harder to get a reasonable set of size variations than you'd think; tamper with care! h1 { font-size: 145% ; font-family: Garamond, "Times New Roman", sans-serif; margin-top: 0em; margin-bottom: .3em; color: #202060; } h2 { font-size: 135% ; font-family: Garamond, "Times New Roman", sans-serif; margin-top: .6em; margin-bottom: .3em; color: #202060; } .head2 { font-size: 135% ; font-family: Garamond, "Times New Roman", sans-serif; margin-top: 0em; margin-bottom: .3em; # margin-top: 0px; # margin-bottom: 2px; color: #202060; } h3 { font-size: 125% ; font-family: Garamond, "Times New Roman", sans-serif; margin-top: 0em; margin-bottom: .3em; color: #202060; color: black; } h4 { font-size: 100% ; font-family: Garamond, "Times New Roman", sans-serif; margin-top: 0em; margin-bottom: .3em; font-weight: bold; # Coming out same size as regular, so need bold # color: pink; color: #202060; } # following lines for benefit of buggy browsers # pre { font -family: monospace } # p, ul { font-family: sans-serif; }