X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=htdocs%2Fcss%2Fwiki.css;h=89fc8e89c1e28f0908a6596cb084c88ff620e687;hb=787bb3d745141f2f85bd947ad7dd775d2c63f908;hp=a8612d44e791d2ba650759cf8620e71747c3248b;hpb=7568a515d7e3c4c992dd98b784165aa36b575ff9;p=platal.git diff --git a/htdocs/css/wiki.css b/htdocs/css/wiki.css index a8612d4..89fc8e8 100644 --- a/htdocs/css/wiki.css +++ b/htdocs/css/wiki.css @@ -43,38 +43,38 @@ table.quickref td { .diffbox { border: 1px #999999 solid; - margin-top: 1.33em; + margin-top: 1.33em; } .diffauthor { - font-weight: bold; + font-weight: bold; } .diffchangesum { - font-weight: bold; + font-weight: bold; } .difftime { font-size: 66%; - background-color: #dddddd; + background-color: #dddddd; } .difftype { clear: both; font-size: 66%; - font-weight: bold; + font-weight: bold; } .diffadd { border-left: 5px #99ff99 solid; - padding-left: 5px; + padding-left: 5px; } .diffdel { border-left: 5px #ffff99 solid; - padding-left: 5px; + padding-left: 5px; } .diffrestore { clear: both; font-size: 66%; - margin: 1.5em 0px; + margin: 1.5em 0px; } a.varlink { - text-decoration: none; + text-decoration: none; } a.createlink { font-size: smaller;