html                    { font-family: candara, arial, sans-serif;
                          overflow-x:hidden; overflow-y:auto; }
.body                   { text-align:center; /* IE centering hack */ }

/* Styling for the branding box. */
.headerbox              { margin:1em auto auto auto;
                          text-align:center; background-color:#EFDFFF;
                          border:4px outset #604080; font-size:1.4em; }
.logotype               { font-size:2.4em; padding:0em 0.2em 0em 0.2em;
                          font-family:Andalus; color:black; text-decoration:none; }
.infoline               { padding:0.2em 1em 0.2em 1em; }
.tlink                  { text-decoration:none; color:#402060; }
.tlink:hover            { text-decoration:underline; color:#604080; }

/* Elements on the main search page. */
.searchbox,
.searchboxshort         { font-size:1.6em; width:27em;
                          margin:7px 10px 5px 0px; padding:0.2em;
                          border:1px inset #000000; }
.searchboxshort         { width:80%; }
.searchbutton           { font-size:1.6em; margin:6px 0px 4px 0px;
                          height:1.7em; width:2.75em; }
.catselectbox           { padding:0.3em; background-color:#E8E8E8; }

.catselectouter         { border:1px inset #000000; width:11em;
                          height:100px; overflow:auto; float:right; }
.catselectinner         { width:9em; overflow:hidden; }

.dialog                 { border:1px solid black; padding:10px;
                          margin:20px 0px 0px 0px;
                          background-color:#F8F8F8; }
.resultbox, .resultboxf { font-family: verdana, arial, sans-serif;
                          padding:2px; margin:4px; border:1px solid black; }
.resultbox              { background-color:#EFEFEF; }
.resultboxf             { background-color:#F8F0E0; }


/* Various kinds of HTML/CSS implemented button (light up). */
.catbox,    .addbox,
.catboxlit, .addboxlit          { position:absolute; padding:0em 0.2em 0em 0.2em;
                                  font-size:1.6em; width:10em; cursor:pointer;
                                  border:2px outset #A0A0A0; }
.cancel, .cancellit             { padding:0em 0.2em 0em 0.2em;
                                  font-size:1.6em; cursor:pointer;
                                  border:2px outset #A0A0A0; }
.bback, .bedit,
.bbacklit, .beditlit            { text-align:center; font-size:1.4em; height:2.6em;
                                  padding:0.2em; margin: 1em 0em 0em 0em;
                                  cursor:pointer; border:2px outset #A0A0A0; }
.smallbback, .smallbedit,
.smallbbacklit, .smallbeditlit  { text-align:center; font-size:0.9em; height:2.6em;
                                  padding:0.1em; margin: 1em 0em 0em 0em;
                                  cursor:pointer; border:2px outset #A0A0A0; }
.minibuttonr, .minibuttonrl,
.minibuttong, .minibuttongl,
.minibuttonb, .minibuttonbl     { padding:0.1em 0.3em 0.1em 0.3em;
                                  margin:0em 0em 0em 0.5em; cursor:pointer;
                                  border:2px outset #A0A0A0; }

.minisbuttonr, .minisbuttonrl   { padding:0.0em 0.0em 0.2em 0.0em; height:1.4em; text-align:center;
                                  margin:0em 0em 0em 0.5em; cursor:pointer; width:10em;
                                  border:2px outset #A0A0A0; position: absolute; right:200px }

.minisbuttonrall, .minisbuttonralll   { padding:0.0em 0.0em 0.2em 0.0em; height:1.4em; text-align:center;
                                  margin:0em 0em 0em 0.5em; cursor:pointer; width:10em;
                                  border:2px outset #A0A0A0; position: absolute; right:20px }

.minisbuttonc, .minisbuttoncl   { padding:0.0em 0.0em 0.2em 0.0em; height:1.4em; text-align:center;
                                  margin:0em 0em 0em 0.5em; cursor:pointer; width:3.5em;
                                  border:2px outset #A0A0A0; position: absolute; right:25px }

/* Assign button colours (normal and illuminated/active) */
.cancel, .minibuttonr, minisbuttonr      { background-color:#E0B0A8; } /* red */
.cancellit, .minibuttonrl                { background-color:#F8B8B0; }
.bback, .smallbback, .minibuttonb        { background-color:#D0D0E8; } /* green */
.bbacklit, .smallbbacklit, .minibuttonbl { background-color:#EAEAFF; }
.bedit, .smallbedit, .minibuttong        { background-color:#C8E8C8; } /* blue */
.beditlit, .smallbeditlit, .minibuttongl { background-color:#E0FFE0; }
.catbox                                  { background-color:#E0D0B0; } /* beige */
.catboxlit                               { background-color:#F8E8C8; }
.addbox                                  { background-color:#D0D0D0; } /* grey */
.addboxlit                               { background-color:#E8E8E8; }

/* Styling used in the classifier visualiser. */

.u   { text-decoration:underline;                           }
.uu  { text-decoration:underline; border-bottom:1px solid;  }
.uuu { text-decoration:underline; border-bottom:3px double; }

.toggleweights { cursor:pointer; text-align:center; padding:2px; margin:5px;
                 font-size:0.7em; line-height:1.0em; float:right;
                 border:1px solid black; background-color:#E8E8E8; }
.logic { color:#006000; }