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;
|
|
|
|
}
|