2009-11-10 23:51:08 -07:00
|
|
|
@import "format.css";
|
|
|
|
|
2009-11-10 22:06:12 -07:00
|
|
|
#nav {
|
2008-10-27 15:57:45 -06:00
|
|
|
display: none;
|
2009-11-10 22:06:12 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
pre {
|
|
|
|
border: solid black 1px;
|
|
|
|
}
|
2012-09-18 17:00:55 -06:00
|
|
|
|
|
|
|
a:link {
|
|
|
|
color: inherit;
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|