diff --git a/style_fancy.css b/style_fancy.css new file mode 100644 index 0000000..20173d0 --- /dev/null +++ b/style_fancy.css @@ -0,0 +1,84 @@ +/* Fancy CSS that can optionally be used for the wiki. */ + +body +{ + padding: 10px 10px 0; + font-family: "Verdana", Sans-serif; + color: #222222; + margin: auto; + max-width: 960px; + background-color: #ffe; + text-align: justify; +} + +p +{ + margin: 15px 0; +} + +em, i +{ + color: #777; +} + +hr +{ + margin: 20px 0 20px; +} + +h1, h2, h3 +{ + margin: 30px 0 10px; +} + +ul, ol +{ + padding: 0; + margin: 4px 30px; +} + +ul +{ + list-style: square; +} + +li +{ + margin: 3px 0; +} + +pre, code +{ + font-family: "Lucida Console", monospace; + background-color: #fec; + font-size: 12px; +} + +pre +{ + padding: 3px; + border: 2px dotted #888; +} + +table +{ + border-collapse: collapse; +} + +table td, th +{ + border: 1px solid black; + padding: 5px 7px; +} + +a +{ + color: #1010ff; + border-bottom: 1px dotted; + text-decoration: none; +} + +.dead +{ + color: #ff2222; +}