diff --git a/ORGWEBPAGE/freeshell2.css b/ORGWEBPAGE/freeshell2.css deleted file mode 100644 index 0a0e085ba..000000000 --- a/ORGWEBPAGE/freeshell2.css +++ /dev/null @@ -1,68 +0,0 @@ -body { - font-family: helvetica, verdana, sans-serif; - font-size: 12pt; - margin-top: 5%; - margin-bottom: 8%; - background: white; - color: black; - margin-left: 15%; - margin-right: 15%; -} - -h1 { - font-size: 18pt; - color: #ff8c00; - padding-top: 1em; - border-bottom: 2px solid #aaa; -} - -h2 { - font-size: 16pt; - padding-top: 1em; - border-bottom: 1px solid #ccc; -} - -h3 { - font-size: 14pt; - padding-top: 0.5em; - border-bottom: 1px solid #eee; -} - -.todo, .deadline { color: red; } -.done { color: green; } -.timestamp { color: grey } -.timestamp-kwd { color: CadetBlue; } -.tag { background-color:lightblue; font-weight:normal; } - -.target { background-color: lavender; } - -.menu { - color: #666; -} - -.menu a:link { - color: #888; -} -.menu a:active { - color: #888; -} -.menu a:visited { - color: #888; -} - -img { align: center; } - -pre { - border: 1pt solid #AEBDCC; - background-color: #F3F5F7; - padding: 5pt; - font-family: courier, monospace; - font-size: 9pt; -} - -table { border-collapse: collapse; } - -td, th { - vertical-align: top; - border: 1pt solid #ADB9CC; -}