/***************************************************************************
 *  Copyright (C) 2003-2018 Polytechnique.org                              *
 *  http://opensource.polytechnique.org/                                   *
 *                                                                         *
 *  This program is free software; you can redistribute it and/or modify   *
 *  it under the terms of the GNU General Public License as published by   *
 *  the Free Software Foundation; either version 2 of the License, or      *
 *  (at your option) any later version.                                    *
 *                                                                         *
 *  This program is distributed in the hope that it will be useful,        *
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of         *
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          *
 *  GNU General Public License for more details.                           *
 *                                                                         *
 *  You should have received a copy of the GNU General Public License      *
 *  along with this program; if not, write to the Free Software            *
 *  Foundation, Inc.,                                                      *
 *  59 Temple Place, Suite 330, Boston, MA  02111-1307  USA                *
 ***************************************************************************/

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%;
}

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;
    margin: 0px;
}

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-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;
}