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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, times, lucida grande, georgia, verdana, arial, serif;}
#more {padding-top: 20px; border-top: 2px solid #666;}
h2.title{
font-family:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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:STIX Two Text, 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; overflow-y: hidden;}
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: STIX Two Text, 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;
}
/* Hack for Chrome */
annotation-xml[encoding="SVG1.1"] {
display: inline-block;
}
.strikediag {
display: inline-block;
position: relative;
}
.strikediag:before {
position: absolute;
content: "";
left: 2.5px;
padding: 10px 15px 10px 5px;
top: 20%;
right: 0;
border-top: 1px solid;
border-color: inherit;
transform:rotate(-50deg);
}
/* The STIX Two fonts are licensed under the SIL Open Font License, Version 1.1, http://scripts.sil.org/OFL */
math {font-family: STIX Two Math;}
mtext {font-family: STIX Two Text;}
.mathscript {
font-variant-alternates: styleset(ss01); /* Recommended syntax */
font-feature-settings: "ss01" on; /* For browsers which don't support the above */
}
@font-face {
font-family: STIX Two Text;
src: local('STIX Two Text'), local('STIX2Text-Regular'),
url('/fonts/STIX2/STIX2Text-Regular.woff2'), url('/fonts/STIX2/STIX2Text-Regular.woff');
}
@font-face {
font-family: STIX Two Text;
src: local('STIX Two Text Bold'), local('STIX2Text-Bold'),
url('/fonts/STIX2/STIX2Text-Bold.woff2'), url('/fonts/STIX2/STIX2Text-Bold.woff');
font-weight: bold;
}
@font-face {
font-family: STIX Two Text;
src: local('STIX Two Text Italic'), local('STIX2Text-Italic'),
url('/fonts/STIX2/STIX2Text-Italic.woff2'), url('/fonts/STIX2/STIX2Text-Italic.woff');
font-style: italic;
}
@font-face {
font-family: STIX Two Text;
src: local('STIX Two Text Bold Italic'), local('STIX2Text-BoldItalic'),
url('/fonts/STIX2/STIX2Text-BoldItalic.woff2'), url('/fonts/STIX2/STIX2Text-BoldItalic.woff');
font-weight: bold;
font-style: italic;
}
@font-face {
font-family: STIX Two Math;
src: local('STIX Two Math'), local('STIX2Math'),
url('/fonts/STIX2/STIX2Math.woff2'), url('/fonts/STIX2/STIX2Math.woff');
}
[actiontype="toggle"]:hover {color:red;text-shadow: #ccc 2px 2px 5px;}
@media only screen and (max-device-width: 480px) {
body {margin:2px; padding: 2px;}
#banner {padding:15px 5px 15px 10px;}
div#banner {padding-top: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,.dropshadow2,.dropshadow3,.dropshadow4, .side, .recentposts {width: 100%; max-width: 100%; margin: 0;}
#links {width: 97%; max-width:97%; margin: 0;}
.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 {margin:10px; width: 95%}
#dethread, #dethread2 {right: 5px; position: relative;}
}