2007-11-06 23:38:05 +00:00
|
|
|
@import "style.css";
|
2007-11-04 22:13:59 +00:00
|
|
|
h2 {
|
|
|
|
font-variant: small-caps;
|
|
|
|
font-size: 170%;
|
|
|
|
}
|
2010-12-29 00:03:09 +00:00
|
|
|
.informalexample {
|
2007-11-04 22:13:59 +00:00
|
|
|
margin-bottom: 1.2em;
|
|
|
|
}
|
2010-12-29 00:03:09 +00:00
|
|
|
div.informalexample .screen {
|
2007-11-04 22:13:59 +00:00
|
|
|
margin-left: 2ex;
|
|
|
|
}
|
2011-03-28 21:01:24 +00:00
|
|
|
|
|
|
|
a#strftime + dl dt { float: left; margin: 0.3ex 0; width: 1.5em; }
|
|
|
|
a#strftime + dl dd { float: left; margin: 0.3ex 0; margin-left: 1.2em; width: 90%; }
|
|
|
|
dt { clear: left; }
|