diff --git a/ORGWEBPAGE/freeshell2.css b/ORGWEBPAGE/freeshell2.css index d88a0d9be..0a0e085ba 100644 --- a/ORGWEBPAGE/freeshell2.css +++ b/ORGWEBPAGE/freeshell2.css @@ -1,29 +1,31 @@ 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%; + 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; + 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; + font-size: 16pt; + padding-top: 1em; + border-bottom: 1px solid #ccc; } h3 { - font-size: 14pt; - padding-top: 0.5em; - border-bottom: 1px solid #eee; + font-size: 14pt; + padding-top: 0.5em; + border-bottom: 1px solid #eee; } .todo, .deadline { color: red; } @@ -35,32 +37,32 @@ h3 { .target { background-color: lavender; } .menu { - color: #666; + color: #666; } .menu a:link { - color: #888; + color: #888; } .menu a:active { - color: #888; + color: #888; } .menu a:visited { - color: #888; + color: #888; } img { align: center; } pre { - border: 1pt solid #AEBDCC; - background-color: #F3F5F7; - padding: 5pt; - font-family: courier, monospace; - font-size: 9pt; + 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; + vertical-align: top; + border: 1pt solid #ADB9CC; }