html {
                background:#BCD;
                }
       body {
                margin:16px;
                font-size: 18px;
                }
        a {
                color: #003366;
                text-decoration: none;
                font-weight:bold;
        }
        :link, :visited {
                color: #003366;
                text-decoration: none;
        }
        :link:active, :visited:active,
        :link:hover, :visited:hover,
        a:active, a:hover { color: #FFCC66;  }
        a[target]:active,a[target]:hover,a[onclick]:active,a[onclick]:hover {cursor:crosshair;}

        img {border:0}

        h1, h2, h3 {
                margin: 0px;
                padding: 0px;
                }
	fieldset {border:0;}
	input {font-size:.9em;}
	input[type=button], input[type=submit] {font-size:.8em;}
	textarea {font-size:1em; line-height: 1.125; resize:both;}
	input, textarea, select {
                background:#EEE; color:#000;
                }
        #openid input {
                background:#EEE url(http://golem.ph.utexas.edu/MT-static/3.0//openid-comment/openid.gif) no-repeat;
                padding-left: 18px;
        }
        input:focus, textarea:focus {background:#FFF;}
        #openid input:focus {background:#FFF url(http://golem.ph.utexas.edu/MT-static/3.0//openid-comment/openid.gif) no-repeat; }
        #banner {
                color:#FFF;
                background:#003366;
                padding:10px 15px 15px 50px;
                }
        div#banner {padding-top:0;}
        #banner h1 {
                font-family:Charis SIL, georgia, verdana, arial, serif;
                font-size: 90px;
                font-size-adjust: 0.49;
                font-weight:normal;
                }

        #banner img {margin-right:5px;}
        #banner a,
        #banner a:link,
        #banner a:visited,
        #banner a:active,
        #banner a:hover {
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif;
                font-size: 90px;
                font-weight:normal;
                font-size-adjust: 0.49;
                color: #FFF;
                text-decoration: none;
                }

        .description {
                font-family:verdana, arial, sans-serif;
                color:#FFF;
                font-size: 11px;
                font-weight:bold;
                background:#003366;
                text-transform:none;
                margin-top:-20px;
                }

        .skip {
                position: absolute;
                left: -999em;
                }
        
        .dropshadow{
                max-width:45em;
                margin: 0 auto;
                background-color: #ABC;
                top:6px; left: 6px;
                position: relative;
                }
        .dropshadow2{
                position:relative;
                left: -1px; top:-1px;
                background-color: #9AB;
                }
        .dropshadow3{
                position:relative;
                left: -1px; top:-1px;
                background-color: #89A;
                }
        .dropshadow4{
                position:relative;
                left: -1px; top:0px;
                background-color: #789;
                }
        .shadowbox{position: relative; left: -3px; top: -4px;}
        #links {
                float:right;
                margin-left:20px;
                position:relative;
                width:318px;
                background:#9F9F9F;
                padding:5px;
                }
        #links h2 {
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif;
                color:#FFF;
                font-size: .9em;
                font-weight:normal;
                font-size-adjust: 0.49;
                padding:2px;
                margin-top:10px;
                letter-spacing: .1em;
                border-bottom:1px dotted #FFF;
                text-align:center;
                background:#9F9F9F;
                margin-bottom:5px;
                }               
        #pane {
                float:right;
                margin:10px 50px 10px 10px;
                position:relative;
                width:40%;
                background:#FFF;
                padding:0;
                }
        
        .search {
                font-family:verdana, arial, sans-serif;
                color:#333;
                font-size:.85em;
                font-weight:normal;
                background:#9F9F9F;
                text-align:center;
                border:medium ridge #666;
                line-height:140%;
                padding:5px;
                }

        .blog {
                padding-top:20px;
                padding-bottom:20px;
                background:#FFF; 
                color:#000;
                }

        .blogbody {
                font-family:Charis SIL,  georgia, times, verdana, arial, serif;
                font-size: .9em;
                font-size-adjust: 0.49;
                font-weight:normal;
                background:#FFF;
                margin-left:50px;
                margin-right:50px;
                line-height:1.5;
                }

        .blogbody a {text-decoration: none;}
        #menu:hover a,
        #footer:hover a,
        .extended:hover a,
        .posted:hover a,
        .comments-post:hover a,
        .newpost:hover a,
        .mathblurb:hover a,
        .blogbody p:hover a,
        .blogbody dt:hover a,
        .blogbody dd:hover a,
        .blogbody li:hover a  {
                text-decoration: underline;
                }
        .blogbody a:link,
        .blogbody a:visited,
        .blogbody a:active,
        .blogbody a:hover {
                font-weight: bold;
                }

        .mathblurb {margin:5px 0px;border-bottom:1px dotted #FFF;}
        p.mathblurb {font-size:.7em;}

        pre, code {font-size: 1em;}
        pre {overflow:auto;}
        .extendedcharset {font-family:Charis SIL, times, lucida grande, georgia, verdana, arial, serif;}

         #more {padding-top: 20px; border-top: 2px solid #666;}

        h2.title{
                font-family:Charis SIL, georgia, times, verdana, arial, serif;
                font-size: 1.25em;
                font-size-adjust: 0.49;
                margin-bottom: -5px;
                margin-left:5px;
                }
        h3.title {
                font-family: verdana, arial, sans-serif;
                font-size: .96em;
                text-transform:uppercase;
                }
        .title bdo {font-weight:bold; font-size:1.25em}         

        #menu {
                font-family:Charis SIL, georgia, times, verdana, arial, serif;
                font-size: .9em; 
                font-size-adjust: 0.49;
                font-weight:bold;
                margin-bottom:10px;
                background:#FFF;
                text-align:center;
                }               

        .date   { 
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif; 
                font-size: 1.2em; 
                font-size-adjust: 0.49;
                color: #666; 
                border-bottom:1px solid #9F9F9F;
                margin:0 50px 20px 50px;
                font-weight:bold;
                }                       
                
        .posted { 
                font-family:verdana, arial, sans-serif; 
                font-size: .8em;
                font-weight:bold;
                color: #000000; 
                margin-bottom:25px;
                }
                
                
        .calendar {
                font-family:verdana, arial, sans-serif;
                color:#FFF;
                font-size: .85em;
                font-weight:normal;
                background:#9F9F9F;
                line-height:140%;
                padding:2px;
                text-align:center;      
                }
        .calendar th, .calendar td {
                font-weight:normal;
                font-size: .85em;
                color:#FFF;
                background:#9F9F9F;
                padding:3px;
                line-height:140%; 
                }
         div.calendar {
                margin-left:30px; overflow: auto;
                }
        .today {border: 2px solid #003366;}
        
        .calendarhead { 
                font-family:verdana, arial, sans-serif;
                color:#FFF;
                font-size: .85em;
                font-weight:bold;
                background:#9F9F9F;
                line-height:140%;
                padding:2px;                                    
                }       
        
        .side {
                font-family:verdana, arial, sans-serif;
                color:#333;
                font-size: .75em;
                font-weight:normal;
                background:#9F9F9F;
                line-height:140%;
                padding:2px;                            
                }       
                
        .side a {font-weight: normal;}
        blockquote.side {
                font-family:Charis SIL, georgia, times, verdana, arial, serif;
                font-size-adjust: 0.49;
                margin:10px;
                }

        .syndicate {
                font-family:verdana, arial, sans-serif;
                font-size:.675em;
                font-weight:bold;               
                line-height:200%;
                text-align:center;
                }       
                
           .powered {
                position: relative;
                font-family:verdana, arial, sans-serif;
                font-weight:bold;
                color:#666;
                font-size: 10px;
                background-image: url(/~distler/blog/images/MTpowered.gif);
                background-repeat: no-repeat;
                width: 128px; height: 36px;  
                left: 86px; text-align: center;
                margin:10px 0 5px 0;
                }
           .powered a {display: block; color: #666; padding: 20px 0 0 36px;}

           .itemdate {text-align: center;background:#003366; color:#FFF;}
           .archiveyear {font-weight:bold; display:block}
           .archives {width: 15em;max-width: 300px;}

           ul.blogroll {margin: 0; padding: 0; width: 295px;}
           .blogroll li, li.sub2 li {list-style-type: none; position: relative;}
           .blogroll li.sub2 {list-style-type: circle;}
           ul.blogroll ul {display: none; width: 200px;}
           .blogroll li:hover ul.sub2, li.sub2:hover ul,
           .blogroll li:focus ul.sub2, li.sub2:focus ul {
                   display: block;
                   position: absolute;
                   z-index:1;
                   top: -5px; color:#000;
                   left: 100%; margin-left: -520px;
                   background: #9F9F9F; padding: 5px 5px 5px 20px;
                   }
            .blogroll li.sub2:hover ul,
            .blogroll li.sub2:focus ul {
                   margin-left: -435px; top: -10px;
                   padding: 5px;
                   border: 2px red solid;
                    }
            .blogroll li.sub a {font-weight: bold;}
            .blogroll a, .blogroll li.sub2 a {display: block; font-weight: normal;}
            .blogroll li.sub:hover a,
            .blogroll li.sub:focus a {color: red;}
            .blogroll li.sub:hover li a,
            .blogroll li.sub:focus li a {color: #003366;}
            .blogroll li.sub a:hover, .blogroll li.sub li a:hover,
            .blogroll li.sub a:focus, .blogroll li.sub li a:focus {color: #FFCC66;}

            ul.recentposts, ul.recentcomments {margin: 0; padding: 0; width: 295px;}
            ol.recentposts li {list-style-position: inside; position: relative;}
            ul.recentposts li, ul.recentcomments li {list-style-type: none; position: relative;}
            ol.recentposts ul,ul.recentposts ul {display: none; width: 250px;}
            .recentposts li:hover ul {
                   display: block;
                   list-style-type: none;
                   position: absolute;
                   z-index:1;
                   top: -10px; color:#000;
                   left: 100%; margin-left: -570px;
                   background: #9F9F9F; padding: 5px;
                   border: 2px #FFCC66 solid;
                   }
        ul.recentposts a {display: block;}
        ul.recentcomments ul {margin-left:10px;}
        li.recentcomments:before {content: '\0000B7 ' }
        li.recentcomments {display:inline;}
        ul.recentcomments  li li a {display:inline; font-size:.85em;}
        .recentposts li.recentcomments:hover ul {margin-left: -500px;}

        .comments-body {
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif;
                color:#000;
                font-weight:normal;
                font-size-adjust: 0.49;
                background:#FFF;
                line-height:140%;
                padding:10px 0 10px 0;
                border-bottom:1px dotted #9F9F9F;                                       
                }
        fieldset.blogbody {line-height:25px;border-bottom:0;}
        .allowed {
                font-family:verdana, arial, sans-serif;
                font-size:.85em;
                font-weight:normal;
                line-height:110%;
                }
        .allowed code{color:#630;}
        .allowed dl{margin-top: -10px;}
        .allowed dt{color: #A30;}

        .comments-nest-box {
                margin-top:3px;
                padding:2px 0 1px 10px;
                border-left:3px solid #003366;
                }               

        .comments-post {
                font-family:verdana, arial, sans-serif;
                color:#000;
                font-size: .8em;
                font-weight:bold;
                background:#FFF;
                }
        a.comments-post {
                color:#036
                }
                                        
        .trackback-url {
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif;
                color:#666;
                font-size:.9em;
                font-size-adjust: 0.49;
                font-weight:normal;
                background:#FFF;
                line-height:140%;
                padding:5px;
                margin:20px 50px 10px 50px;             
                border:1px dotted #9F9F9F;                                                      }


        .trackback {
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif;
                color:#000;
                font-weight:normal;
                font-size-adjust: 0.49;
                background:#DDD;
                line-height:140%;
                padding:10px;   
                border-bottom:1px dotted #9F9F9F;                                       
                }               
                
        .comments-head  { 
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif; 
                color: #666; 
                border-bottom:1px solid #9F9F9F;
                font-weight:bold;
                font-size: 1em;
                font-size-adjust: 0.49;
                background:#FFF;
                margin:10px 50px 0 50px;
                clear:both;
                }
        h3.comments-head {
                border-bottom:0px;
                font-size:.9em;
                }
        .newpost a {margin-left:50px; font-weight: bold;}
        
        #banner-commentspop {
                color:#FFF;
                background:#003366;
                padding:5px 15px 5px 50px;                                                       
                }
        #banner-commentspop h1 {
                font-family:Charis SIL, georgia, times, verdana, arial, sans-serif;
                font-size: 21px;
                font-size-adjust: 0.49;
                font-weight: normal;
                }
        #banner-commentspop img {margin-right:5px;}

        ul.related {padding:0;}
        .related li {list-style-type: none;}

        .rssbutton {
                border-color: #FF6600;
                border-style: outset;
                text-decoration: none;
                padding: 1px 5px 1px 5px;
                border-width: thin;
                }
        .rssbutton:link,.rssbutton:visited{
                color: #FFF;
                background-color: #FF6600;
                }
        .rssbutton:hover {
                color: #FFF;
                background-color: #FF9900;
                border-color: #FF9900;
                }
        .rssbutton:active {
                color: #FFF;
                background-color: #FF6600;
                border-style: inset;
                }
        .feedtype {
                color: #000;
                background-color: #FFF;
                margin: 0 -4px 0 0;
                padding: 0 5px 0 2px;
                font-weight:normal;
                }
        .rssbutton:hover span {
                color: #666;
                }
        .rssbutton:active span {
                color: #000;
                }

        .macreporter {
                color:#FFF;
                background-color: #3399FF;
                border-color: #3399FF;
                border-style: outset;
                text-decoration: none;
                padding: 1px 5px 1px 5px;
                border-width: thin;
                }
        table.plaintable {border-collapse:collapse; margin-left:30px;}
        .plaintable td {border:1px solid #000; padding: 3px;}
        .plaintable th {padding: 3px;}
        .plaintable caption {
                font-weight: bold;
                font-size:1.1em;
                text-align:center;
                margin-left:30px;
                }
        
        .spreadsheet td, .spreadsheet th {text-align:right}
        .spreadsheet caption {font-weight:bold}

        .figurecaption {color:#630;}

        cite[title],abbr[title],acronym[title],span[title] {border-bottom: 1px dotted black;cursor: help;}
        span.abbr {border-bottom: 1px dotted black;cursor: help;}
        *:lang(es),*:lang(de),*:lang(fr),*:lang(el),*:lang(it),*:lang(la) {font-style:italic;}
        *:lang(ja) {color:#693;}
        .spellingerror {border-bottom: 1px dotted red;}
        #footer{
                padding:5px 10px;
                background:#FFF;
                color:#333;
                line-height:200%;
                font-size:.7em; font-family:verdana, arial, sans-serif;
                border-top:1px solid #000;
                clear:both;
                }
        #footer h2 {display:inline;font-size:1em}
        #footer dl,#footer dt,#footer dd, #accesscontent dt {
                display:inline;
                }
        #footer dt, .keyboard, #accesscontent dt {
                background: #CCC;
                color: #000;
                border: outset 2px;
                font-family:verdana, arial, sans-serif;
                margin-left:5px;
                padding:1px 2px;
                }
        .keyboard, #accesscontent dt {font-size: .7em;}
        .button {
                border: outset 2px;
                font-family:verdana, arial, sans-serif;
                padding:1px 2px;
                font-size: .7em;
                }
        #footer dd {
                margin-left: 2px;
                }
        #accesscontent dd {margin-top: -1.5em;}
        #accesscontent dl {margin-left: 3em;}
        #footer dd:before {
                content: "=";
                }
        .inline dt,.inline dd {display:inline}
        .footnote {font-size: .9em}

        .infopop {
                margin:-5px 0 0 0;padding:0;
                background:#CC9;
        }
        .infopop h1 {
                text-align:center;
                font-family:verdana, arial, sans-serif;
                font-size:.6875em;
                padding-top:10px;
        }
        .infopop p {
                font-family:verdana, arial, sans-serif;
                font-size:.6875em;
                line-height:130%;
                margin:5px;padding:0;
        }
        .infopop fieldset {
                text-align:right;margin:-15px 15px 0 0;
        }
        img.mathlogo {
                width:65px;height:36px;
                float:right;
                padding:5px 0 0 5px;
                vertical-align:bottom;
        }
        img.mathblurb {
                width:65px;height:36px;
                float:left;
                border:none;
                padding:0 5px 0 0;
                vertical-align:baseline;
        }
        img.validate {
                width:88px;height:31px;
        }
        dl.mappings {margin-left:3em;}
        .mappings dd:before {content:  "\2192\A0\A0";}
        .mappings dt {clear:left;float:left;margin-right:.5em;}
        h4.caption {
                text-align: center;
                margin: 0px;
                padding: 0px;
        }
        .ve {
                padding:0 2em 0 2em;
                font-size: .9em;
        }
        li.validation_error {
                padding-bottom: 1em;
        }
        .helpwanted {
                margin-top: -1.5em;
                font-size: .7em;
                text-align: right;
        }
        .helpwanted a {font-weight:normal}
        div.photothumb {
                text-align:center;
                width:100px;height:90px;
                float:left;
        }
        .photothumb img {border: 2px solid #FFF}
        .photothumb img:hover {border: 2px solid #003366}
        .photothumb img:active {border: 2px solid #FFCC66}
        .republican {
                font-size:  .8em;
                background: red;
                color: #FFF;
                padding:3px 5px; margin:0;
        }
        .democrat {
               font-size:  .8em;
                background: blue;
                color: #FFF;
                padding:3px 5px; margin:0;
        }
        .tossup,.independent {
               font-size:  .8em;
               background: green;
                color: #FFF;
                padding:3px 5px; margin:0;
        }
        .ululate li {list-style-type: none;}
        div.forecast {
                float:left;
                margin:3px; max-width:72px;
                overflow:visible;
                font-family:verdana, arial, sans-serif;
                font-size:9px;
        }
        .forecast h3 {font-size:1em; font-weight:normal;}
        .forecast img {width:55px;height:58px;}
        div.current_weather {
                clear:left;
                font-family:verdana, arial, sans-serif;
                font-size:.65em;
                text-align:center;
                margin:5px;
                padding-top:10px;
        }
        .current_weather h3 {
                display:inline;
                font-size:1em;
                font-weight:normal;
        }
        .update {
                margin: 1em 0;
        }
        .update h4 {
                display:inline;
                font-size:1em;
                font-weight:bold;
        }
        math[display=block] {overflow:auto;}
        math { 
                white-space: nowrap;
               font-size-adjust: none;
         }
        .numberedEq > span, .eqno {float:right}
        img.svglogo {
                width:47px;height:36px;
                float:right;
                padding:5px 0 0 5px;
        }
        .side input {max-width:290px;}
        .quicktime:after {
                content: url(/~distler/blog/images/quicktimelogo.gif)
        }
        merror {display:inline;font-size:1em;}

        del > * {text-decoration:line-through;}
        .blockquotesource {margin-left:1em;}
        #dethread, #dethread2 {
                margin-left: 1em;
                position:absolute;
                right:50px;
        }
	.centeredfigure {
		position:relative;
		margin:auto;
		text-align:center;
	}
	svg\:svg { display:none; } /* hack to hide SVG content from IE */

	pre.poetry {
		font-size: 1em;
		font-family: Charis SIL, georgia, times, verdana, arial, serif;
                font-size-adjust: 0.49;
	}

 /*       .blogbody *[id]:hover:after {
                content: " #" attr(id);
                font-size: 75%;
                color:#9F9F9F;
        }
        .blogbody .footnote[id]:hover:after,
        .blogbody [id="more"]:hover:after,
        .comments-body[id]:hover:after {
                display:none;
        }
*/
[mathvariant="bold"] *  {
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
}
[mathvariant="italic"] *  {
  font-style: italic;
  font-variant: normal;
  font-weight: normal;
}
[mathvariant="bold-italic"] *  {
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
}
[mathvariant="sans-serif"] *  {
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
}
[mathvariant="bold-sans-serif"] *  {
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
}
[mathvariant="sans-serif-italic"] *  {
  font-style: italic;
  font-variant: normal;
  font-weight: normal;
}
[mathvariant="sans-serif-bold-italic"] *  {
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
}

@font-face {
  font-family: "Charis SIL";
  src: url(/fonts/CharisSIL/CharisSILR.eot);
  src: local('Charis SIL'),
       url(/fonts/CharisSIL/CharisSILR.ttf) format("truetype");
}

@font-face {
  font-family: "Charis SIL";
  src: url(/fonts/CharisSIL/CharisSILB.eot);
  src: local('Charis SIL Bold'),
       url(/fonts/CharisSIL/CharisSILB.ttf) format("truetype");
  font-weight: bold;
}

@font-face {
  font-family: "Charis SIL";
  src: url(/fonts/CharisSIL/CharisSILI.eot);
  src: local('Charis SIL Italic'),
       url(/fonts/CharisSIL/CharisSILI.ttf) format("truetype");
  font-style: italic;
}

@font-face {
  font-family: "Charis SIL";
  src: url(/fonts/CharisSIL/CharisSILBI.eot);
  src: local('Charis SIL Bold Italic'),
       url(/fonts/CharisSIL/CharisSILBI.ttf) format("truetype");
  font-weight: bold;
  font-style: italic;
}
[actiontype="toggle"]:hover {color:red;text-shadow: #ccc 2px 2px 5px;}

@media only screen and (max-device-width: 480px) {
      body {margin:5px; padding: 2px;}
      #banner {padding:15px 5px 15px 10px;}
      #banner h1, #banner a, #banner a:link, #banner a:visited,
          #banner a:active, #banner a:hover {font-size: 60px}
      .description {font-size: .55em; margin-top: -10px; }
      .dropshadow, .side, .recentposts  {width: 100%; max-width: 100%;}
      #links {width: 97%; max-width:97%;}
      .blogbody {margin-left: 20px; margin-right: 20px}
      .date {margin:0 20px 20px 20px;}
      .comments-nest-box {padding:2px 0 1px 5px; }
      .comments-head {margin: 10px 10px 20px 10px;}
      #pane {width: 70%}
      #dethread, #dethread2 {right: 5px; position: relative;}
    }