Remove old, redundant stylesheet.

2010-08-05 16:24:21 -06:00
parent 39117ae44a
commit af4c2f8002
1 changed files with 0 additions and 123 deletions
@@ -1,123 +0,0 @@
-h1, h2, h3, h4, h5, h6 {
-  color: #f90;
-  font-weight: bold;
-  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
-}
-
-h1 {
-  font-size: 36pt;
-}
-
-h2 {
-  font-size: 32pt;
-}
-
-h3 {
-  font-size: 28pt;
-}
-
-h4 {
-  font-size: 24pt;
-}
-
-h5 {
-  font-size: 20pt;
-}
-
-h6 {
-  font-size: 16pt;
-}
-
-p {
-  font-family: Georgia, serif;
-  font-size: 14pt;
-  line-height: 22pt;
-}
-
-.highlight {
-  border: 1px solid #eee;
-  padding: 0;
-  margin: 0;
-  font-size: 12pt;
-}
-
-.highlight pre {
-  background-color: #f8f8ff;
-  margin: 0;
-  padding: .5em;
-}
-
-#nav {
-  width: 60em;
-  margin: 0 auto;
-  color: #666;
-}
-
-#content {
-  width: 60em;
-  margin: 0 auto;
-  color: #666;
-}
-
-a.absent {
-  color: #a00;
-}
-
-/* Forms */
-
-textarea {
-  width: 100%;
-  height: 20em;
-}
-
-/* Images */
-
-.frame {
-  margin: 1em 0;
-  display: inline-block;
-}
-
-.frame img {
-  display: block;
-}
-
-.frame > span {
-  display: block;
-  border: 1px solid #aaa;
-  padding: 4px;
-}
-
-.frame span span {
-  display: block;
-  font-size: 10pt;
-  margin: 0;
-  padding: 4px 0 2px 0;
-  text-align: center;
-  line-height: 10pt;
-  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
-}
-
-.float-left {
-  float: left;
-  padding: .5em 1em .25em 0;
-}
-
-.float-right {
-  float: right;
-  padding: .5em 0 .25em 1em;
-}
-
-.align-left {
-  display: block;
-  text-align: left;
-}
-
-.align-center {
-  display: block;
-  text-align: center;
-}
-
-.align-right {
-  display: block;
-  text-align: right;
-}