diff --git a/src/media/css/global.css b/src/media/css/global.css index 6118e91..56f555e 100644 --- a/src/media/css/global.css +++ b/src/media/css/global.css @@ -89,26 +89,51 @@ ul.menu { position: relative; padding: 5px; } +#main ul li { + margin-top: 3px; + margin-bottom: 3px; +} #main p { - line-height: 1.5em; + line-height: 1.2em; } #main a { + display: inline-block; + padding: 1px 2px; border-bottom: 1px dotted #000000; color: #000099; font-weight: bold; } -#main a.broken { - color: #CC6666; -} -#main a.broken:hover { - background-color: #CC6666; - color: #FFFFFF; -} #main a:hover { background-color: #000099; color: #FFFFFF; border-bottom: 1px solid transparent; } +#main a.broken { + color: #CC3366; +} +#main a.broken:hover { + background-color: #CC6666; + color: #FFFFFF; +} +#main a.broken:after { + content: "\2730"; + margin-left: 3px; + font-weight: normal; +} +#main a.external { + color: #339966; +} +#main a.external:hover { + background-color: #339966; + color: #FFFFFF; +} +#main a.external:after { + content: "\2750\279C"; + letter-spacing: -4px; + font-weight: normal; + margin-left: 3px; + padding-right: 4px; +} #foot { position: relative; @@ -136,7 +161,6 @@ ul.menu { text-decoration: underline; } - .inset { margin-left: 20px; }