body {
    /*width: 600px;*/
    /*	font-family: Arial, Helvetica, sans-serif;*/
    font-family: Georgia, "Bitstream Charter", serif;
    background-color: #e0e0ef;
    /*background-color: rgba(0,0,0,.2);*/
    color: #000
    }

textarea, input {
    border: 1px solid #ccc;
    padding: 3px;
    /*font-family: Tahoma, sans-serif;*/
    }

h5 {
    margin: 3px 0 3px 0;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 100%;
    font-weight: bold;
    /*	border: 1px dashed #B85A7C;*/
    border: 1px dashed #d0d0d0;
    padding: 5px;
    color: #000;
    display: block
    }

label {
    font-size: 100%;
    width: 10em;
    float: left;
    text-align: right;
    margin-right: 0.5em;
    display: block
    }

.submit input {
    color: #000;
    background: #eee;
    border: 1px outset #d7b9c9
    }

ul.vertical_list {
    margin: 0 auto;
    list-style-type: none;
    width: 800px;
    text-align: left;
    padding: 15px;
    border: 1px solid #999;
    background-color: #fff;
    display: block;
    font-family: Arial, Helvetica, sans-serif
    }

ul.vertical_list li {
    width: auto;
    color: #333;
    border-left: 2px solid #666;
    border-right: 2px solid #666;
    height: 20px;
    padding: 0 14px 0 14px;
    text-decoration: none;
    font-weight: bold;
    background-color: #fff;
    font-size: 80%
    }

ul.vertical_list li:hover {
    background-color: #e0e0ef
    }

ul.vertical_list li a {
    text-decoration: none;
    width: 100%;
    height: 100%;
    display: block;
    padding: 2px 0 0 0
    }

ul.vertical_list li.mainSubItem a {
    padding-left: 30px
    }

ul.vertical_list li.searchBox:hover {
    background-color: #FFF
    }

ul.vertical_list li.searchBox {
    height: 25px
    }

ul#sideMenu.vertical_list {
    width: 200px;
    text-align: left;
    padding: 10px 0 10px 0;
    border: 1px solid #aaa;
    background-color: #fff;
    /*	display: inline;*/
    position: fixed;
    top: 60px;
    left: 4px
    }

ul#sideMenu.vertical_list li.sideMenuSubHeader {
    font-weight: bold;
    padding: 3px 10px 0 10px;
    background-color: #FFF;
    display: block
    }

ul#sideMenu.vertical_list li.sideMenuHeader {
    text-align: center;
    font-weight: bold;
    padding: 5px 10px 0 10px;
    background-color: #FFF
    }

ul#sideMenu.vertical_list li {
    font-size: 70%;
    width: auto;
    height: 17px;
    padding: 0 0 0 20px;
    margin: 0 10px 0 10px;
    display: block
    }

ul li {
    padding: 5px 0 0 0
    }

.tableHeader {
    /*	width:600px;*/
    /*	margin: 0 0 0 0;*/
    padding: 10px;
    background-color: #fff;
    text-align: center
    }

table.matrix {
    /*	width:800px;*/
    /*	width:auto;*/
    margin: 0 auto;
    text-align: left;
    padding: 0;
    border: 1px dashed #333;
    background-color: #fff;
    width: 100%
    }

div.tableContainer {
    width: auto;
    /*	margin: 0 50px 0 200px;*/
    margin: 0 60px 0 60px;
    padding: 5px 0 5px 0
    }

div.container {
    width: auto;
    /*	margin: 0 50px 0 200px;*/
    margin: 0 60px 0 60px;
    padding: 10px;
    background: #FFF;
    border: 1px solid #999;
    border-collapse: collapse
    }

table.submatrix {
    /*	width:600px;*/
    margin: 0 auto;
    text-align: left;
    padding: 0;
    border: 0 dashed #333;
    background-color: #fff
    }

fieldset, h2, h1, table {
    /*	width:800px;*/
    margin: 0 60px 0 60px;
    text-align: left;
    padding: 15px;
    border: 1px solid #999;
    background-color: #fff;
    /*	display: block;*/
    }

h1, h2 {
    text-align: center
    }

table {
    width: 100%;
    margin: 0 auto;
    border-collapse: collapse;
    /*border: 1px solid #38160C;*/
    /*  font: normal 14px verdana, arial, helvetica, sans-serif;*/
    color: #050505;
    background: #fefeff
    }

td, th {
    border: 1px dashed #B85A7C;
    padding: 0.8em
    }

table.parameter {
    width: 100%;
    border: 0 solid #38160C;
    /*  font: normal 12px verdana, arial, helvetica, sans-serif;*/
    color: #050505;
    background: #fefeff
    }

td.empty {
    background: #EEE
    }

tbody th, tbody td {
    vertical-align: top;
    text-align: left
    }

tbody tr:hover {
    background: #eef
    }

/*tbody tr:hover th,*/
/*tbody tr.odd:hover th {*/
/*background: #eeeeff;*/
/*}*/
table.matrix tr:hover {
    background: #fff
    }

table.matrix td.operation:hover, td.function:hover {
    background: #eef
    }

div.function {
    padding: 10px
    }

div.function:hover {
    background: #ddf
    }

table.matrix td.operation {
    width: 125px
    }

table.tableHeader td.sigma, th.sigma, table.submatrix td.sigma, th.sigma, table.matrix td.sigma, th.sigma {
    width: 175px;
    text-align: center;
    border-left: 1px dashed #B85A7C
    }

table.submatrix td, table.tableHeader td {
    border: 0
    }

table.tableHeader td {
    text-align: center;
    font-weight: bold
    }

fieldset.checklist table {
    width: auto;
    border: 0;
    margin: 0 0 0 0
    }

table.bibtexTable {
    margin: 5px auto;
    width: auto
    }

.bibtexitem {
    text-align: justify
    }

img.icon {
    float: right;
    height: 16px;
    width: 15px;
    padding: 2px 2px 2px 2px
    }

div.previewField {
    padding: 5px 5px 5px 5px;
    text-align: center
    }

div#about {
    font-size: 90%;
    width: 800px;
    text-align: left;
    padding: 0 15px 0 15px;
    margin: 0 auto;
    border: 1px solid #999;
    background-color: #fff
    }

div#about p {
    padding: 0 0 15px 0
    }

div#visitorhistory {
    font-size: 80%
    }

*.mainPage {
    margin: 0 auto;
    width: 800px
    }

div.slider {
    width: 100px;
    margin: 10px 0;
    background-color: #ccc;
    height: 10px;
    position: relative
    }

div.slider div.handle {
    width: 10px;
    height: 10px;
    background-color: #55c;
    cursor: move;
    position: absolute
    }

span.warning {
    background-color: #F99;
    width: 200px;
    text-align: center
    }

div.witnessFamily {
    margin: 0 0 5px 0;
    padding: 3px 9px 3px 9px;
    background-color: #F7F7F7;
    border: solid 2px #e9e9e9;
    /* overflow: hidden; */
    }

dt {
    padding: 15px 0 0 0;
    /*	border: solid 2px #e9e9e9;*/
    }

div#msgBox {
    width: 500px;
    font-size: 14px;
    /*margin: 0 auto;*/
    /*	height:150px;*/
    border: solid 2px #e0e0e0;
    background-color: #eee;
    padding: 20px;
    position: fixed
    }

.searchBox input {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 85%
    }

dl {
    padding: 10px
    }

span.HIDDEN {
    display: none
    }

span.optionsBtn {
    float: right;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 80%;
    padding: 5px 8px 5px 8px;
    /*font-weight: bold;*/
    -webkit-border-radius: 7px 0 0 7px;
    -moz-border-radius: 7px 0 0 7px;
    border-radius: 7px 0 0 7px;
    background-color: #fff;
    border: 1px solid #999;
    -webkit-transition: all 0.3s ease-in-out;
    -moz-transition: all 0.3s ease-in-out;
    -o-transition: all 0.3s ease-in-out;
    transition: all 0.3s ease-in-out;
    margin-right: -1em
    }

span.optionsBtn:hover {
    padding-right: 16px;
    /*padding-left: 16px;*/
    /*background-color: #eee;*/
    }

span.options {
    float: right
    }

fieldset.argument {
    margin: 10px
    }

div.commentContainer {
    background-color: #f0f6fb;
    padding: 15px;
    margin: 2px 15px 2px 15px
    }

div.commentHeader {
    padding-bottom: 15px;
    /*font-size: 105%;*/
    font-weight: bold
    }

div.commentBody {
    padding-left: 15px;
    /*font-size: 95%;*/
    }

span.commentDate {
    font-size: 80%;
    font-weight: normal
    }

td.function, div.function {
    cursor: pointer
    }

.smaller {
    font-size: 70%
    }

.link {
    float: right;
    font-size: 80%;
    color: #555;
    background-color: #eee;
    border: 2px solid #bbb;
    padding: 5px 10px
    }

.author {
    text-align: right;
    font-size: 75%;
    padding: 2px
    }

.card {
    -webkit-box-shadow: 1px 1px 3px 1px #555;
    -moz-box-shadow: 1px 1px 3px 1px #555;
    box-shadow: 1px 1px 3px 1px #555;
    margin: 10px;
    padding: 15px 30px 30px 30px;
    background-color: white
    }/*Mostly from iceWeasel's website*/
div.terminalContainer {
    /*  border: 1px solid;*/
    margin: 10px auto;
    width: auto;
    -webkit-border-radius: 10px;
    -moz-border-radius: 10px;
    border-radius: 10px;
    padding: 1em;
    background: #000;
    font-family: Monospace;
    font-size: 11pt;
    text-align: left;
    color: #0f0
    }

div.terminalContainer .command {
    color: #80ff80
    }

div.terminalContainer .cursor {
    text-decoration: blink
    }

div#latexResponse {
    padding: 5px;
    /*	width: 600px;*/
    }

span.error {
    padding: 3px;
    background-color: #d44;
    border: 1px solid #d00
    }#tt {
    position: absolute;
    display: block;
    /*    background:url(images/tt_left.gif) top left no-repeat;*/
    }

#tttop {
    display: block;
    height: 5px;
    margin-left: 5px;
    /*    background:url(images/tt_top.gif) top right no-repeat; */
    overflow: hidden
    }

#ttcont {
    display: block;
    padding: 5px 7px 3px 7px;
    margin-left: 5px;
    background: #666;
    color: #FFF;
    border: 1px solid #38160C;
    font-size: 90%
    }

#ttbot {
    display: block;
    height: 5px;
    margin-left: 5px;
    /*    background:url(images/tt_bottom.gif) top right no-repeat;*/
    overflow: hidden
    }

#fixedTT {
    position: fixed;
    top: 20px;
    left: 50%;
    background-color: #eee;
    border: 2px solid #aaa;
    padding: 5px 20px;
    font-size: 95%;
    max-width: 600px
    }

#fixedTT input.ttFooter {
    font-size: 80%;
    color: #555;
    background-color: #ddd;
    border: 2px solid #bbb;
    padding: 0 5px
    }/*tbody td, tr {*/
/*	transition: background-color 0.3s ease-in-out;*/
/*}*/
/* SOCIAL ICONS - GENERAL */
.social {
    padding: 10px;
    border: 2px solid #999;
    background-color: #FFF;
    list-style: none;
    margin: 30px auto;
    text-align: center;
    max-width: 800px
    }

.social img {
    max-height: 40px;
    width: auto;
    padding: 0 25px
    }

.social li {
    display: inline;
    float: left;
    background-repeat: no-repeat;
    padding: 10px
    }

.social li a {
    display: block;
    width: 170px;
    height: 70px;
    padding-right: 10px;
    position: relative;
    text-decoration: none
    }

.social li a strong {
    font-weight: normal;
    position: absolute;
    left: 20px;
    top: -1px;
    color: #fff;
    padding: 3px;
    z-index: 9999;
    text-shadow: 1px 1px 0 rgba(0, 0, 0, 0.75);
    background-color: rgba(0, 0, 0, 0.7);
    -webkit-border-radius: 3px;
    -moz-border-radius: 3px;
    border-radius: 3px;
    -webkit-box-shadow: 0 0 5px rgba(0, 0, 0, 0.5);
    -moz-box-shadow: 0 0 5px rgba(0, 0, 0, 0.5);
    box-shadow: 0 0 5px rgba(0, 0, 0, 0.5)
    }

li.FCT {
    background-image: url(../images/FCT.png)
    }

li.CANTE {
    background-image: url(../images/CANTE.png)
    }

li.QREN {
    background-image: url(../images/QREN.png)
    }

li.UP {
    background-image: url(../images/UP.png)
    }

li.DCC {
    background-image: url(../images/DCC.png)
    }

/* SOCIAL ICONS - CSS3 */
.social:hover img {
    -ms-filter: "progid:DXImageTransform.Microsoft.Alpha(Opacity=20)";
    filter: alpha(opacity=20);
    opacity: 0.2
    }

.social img {
    -webkit-transition-property: opacity;
    -moz-transition-property: opacity;
    -o-transition-property: opacity;
    transition-property: opacity;
    -webkit-transition-duration: 500ms;
    -moz-transition-duration: 500ms;
    -o-transition-duration: 500ms;
    transition-duration: 500ms
    }

.social li a strong {
    -ms-filter: "progid:DXImageTransform.Microsoft.Alpha(Opacity=0)";
    filter: alpha(opacity=0);
    opacity: 0;
    -webkit-transition-property: opacity, top;
    -moz-transition-property: opacity, top;
    -o-transition-property: opacity, top;
    transition-property: opacity, top;
    -webkit-transition-duration: 300ms;
    -moz-transition-duration: 300ms;
    -o-transition-duration: 300ms;
    transition-duration: 300ms
    }

.social img:hover {
    -ms-filter: "progid:DXImageTransform.Microsoft.Alpha(Opacity=100)";
    filter: alpha(opacity=100);
    opacity: 1
    }

.social li:hover a strong {
    -ms-filter: "progid:DXImageTransform.Microsoft.Alpha(Opacity=100)";
    filter: alpha(opacity=100);
    opacity: 1;
    top: -10px
    }

a#trigger {
    z-index: 9999;
    position: fixed;
    text-decoration: none;
    top: 40px;
    left: 0;
    font-size: 16px;
    letter-spacing: -1px;
    font-family: verdana, helvetica, arial, sans-serif;
    color: #505050;
    padding: 10px 15px 10px 10px;
    font-weight: 700;
    background: #fff 85% 55% no-repeat;
    border: 1px solid #d0d0d0;
    -border-radius-topright: 6px;
    -webkit-border-top-right-radius: 6px;
    -moz-border-radius-topright: 6px;
    border-top-right-radius: 6px;
    -moz-border-radius-bottomright: 6px;
    -webkit-border-bottom-right-radius: 6px;
    -moz-border-radius-bottomright: 6px;
    border-bottom-right-radius: 6px;
    -moz-border-radius-bottomleft: 0;
    -webkit-border-bottom-left-radius: 0;
    -moz-border-radius-bottomleft: 0;
    border-bottom-left-radius: 0;
    display: block
    }

a#trigger:hover {
    padding: 10px 15px 10px 20px;
    background-color: #e7e7ef;
    border: 1px solid #a0a0a0
    }

a#trigger {
    -webkit-transition: all 0.3s ease-in-out;
    -moz-transition: all 0.3s ease-in-out;
    -o-transition: all 0.3s ease-in-out;
    transition: all 0.3s ease-in-out
    }

#sideMenu {
    z-index: 9998
    }

input[type=text] {
    -webkit-transition: all 0.3s ease-in-out;
    -moz-transition: all 0.3s ease-in-out;
    -o-transition: all 0.3s ease-in-out;
    transition: all 0.3s ease-in-out;
    outline: none;
    border: 1px solid #DDD
    }

input[type=text]:focus {
    -webkit-box-shadow: 0 0 5px rgba(81, 203, 238, 1);
    -moz-box-shadow: 0 0 5px rgba(81, 203, 238, 1);
    box-shadow: 0 0 5px rgba(81, 203, 238, 1);
    border: 1px solid rgba(81, 203, 238, 1)
    }th.resize-handle-active {
    cursor: e-resize
    }

div.resize-handle {
    cursor: e-resize;
    width: 2px;
    border-right: 1px dashed #1E90FF;
    position: absolute;
    top: 0;
    left: 0
    }

.sortcol {
    cursor: pointer;
    padding-right: 20px;
    background-repeat: no-repeat;
    background-position: right center
    }

.sortasc {
    background-color: #efffe3;
    background-image: url(../images/up.gif)
    }

.sortdesc {
    background-color: #e7f8ff;
    background-image: url(../images/down.gif)
    }

.nosort {
    cursor: default
    }
