X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;ds=sidebyside;f=htdocs%2Fcss%2Fwiki.css;h=89fc8e89c1e28f0908a6596cb084c88ff620e687;hb=fbc2e257fca185816273a538fe4f9f25f8e36c95;hp=f298536bd154836e4dc13b1764c018c253014cff;hpb=2907d4014c8e6c437e0d9252b6a65dbaedf53212;p=platal.git diff --git a/htdocs/css/wiki.css b/htdocs/css/wiki.css index f298536..89fc8e8 100644 --- a/htdocs/css/wiki.css +++ b/htdocs/css/wiki.css @@ -1,35 +1,84 @@ -div.frame { - margin: 0px; - padding: 8px 2px; - float: right; - margin: 5px 0px 5px 5px; +table.wiki { + margin-left: auto; + margin-right: auto; + border: 1px dotted gray; +} + +table.wiki td { + padding: 2px 1em; + vertical-align: middle; + text-align: center; +} + +table.wiki select { + font-size: 80%; } -table.quickref { - margin-top 1em: padding: 0px; +div.frame br { + height: 0px; + clear: both; +} + +table.quickref { + margin-top: 1em; + padding: 0px; border: 1px dotted #aaaaaa; font-size: 95%; } -table.quickref tr { - padding 0px; +table.quickref tr { + padding: 0px; margin: 0px; } -table.quickref td { +table.quickref td { margin: 0px; padding: 4px; border-top: 1px dotted #aaaaaa; } -#text { width:800px; } -.diffbox { border:1px #999999 solid; margin-top:1.33em; } -.diffauthor { font-weight:bold; } -.diffchangesum { font-weight:bold; } -.difftime { font-family:verdana,sans-serif; font-size:66%; background-color:#dddddd; } -.difftype { clear:both; font-family:verdana,sans-serif; font-size:66%; font-weight:bold; } -.diffadd { border-left:5px #99ff99 solid; padding-left:5px; } -.diffdel { border-left:5px #ffff99 solid; padding-left:5px; } -.diffrestore { clear:both; font-family:verdana,sans-serif; font-size:66%; margin:1.5em 0px; } -a.varlink { text-decoration:none; } - +#text { + width: 800px; +} + +.diffbox { + border: 1px #999999 solid; + margin-top: 1.33em; +} +.diffauthor { + font-weight: bold; +} +.diffchangesum { + font-weight: bold; +} +.difftime { + font-size: 66%; + background-color: #dddddd; +} +.difftype { + clear: both; + font-size: 66%; + font-weight: bold; +} +.diffadd { + border-left: 5px #99ff99 solid; + padding-left: 5px; +} +.diffdel { + border-left: 5px #ffff99 solid; + padding-left: 5px; +} +.diffrestore { + clear: both; + font-size: 66%; + margin: 1.5em 0px; +} +a.varlink { + text-decoration: none; +} +a.createlink { + font-size: smaller; + vertical-align: super; + line-height: normal; + text-decoration: none; +}