tamarin-prover-ui.css

/* Common Style
 **************/

html, body {
    font-family: 
        'DejaVu Sans',      /* Linux */
        'Liberation Sans',  /* Linux/RedHat */
        'Geneva',           /* Mac OS X */
        'Arial',            /* Windows */
        sans-serif;         /* Fallback */
    background: #fff;
    font-size: 0.95em;
}

a {
    color: #203ab7;
    text-decoration: none;
}

a:hover {
    color: #000000;
}

a.active-link {
    background: #ffffb0;
}

.monospace {
    font-size: 0.9em;
    font-family:
        'DejaVu Sans Mono', /* Linux */
        'Liberation Mono',  /* Linux/RedHat */
        'Monaco',           /* Mac OS X */
        'Lucida Consola',   /* Windows */
        monospace;          /* Fallback */
}

p.loading, p.message {
    position: fixed;
    z-index: 999999;
    margin: 0;
    padding: 0.6em 0.5em 0.5em 0.5em;
    right: 0.3em;
    bottom: 0.3em;
    font-size: 1em;
    line-height: 1.2em;
    background: #dddddd;
    border: solid 2px #2067fe;
    font-weight: bold;
    text-align: left;
    border-radius: 0.5em;
}

p.loading {
    display: none;
    padding-left: 1.8em !important;
    background-image: url(/static/img/ajax-loader.gif);
    background-repeat: no-repeat;
    background-position: 0.4em;
    background-size: 1.2em; 
}

div.content {
    margin: 0.5em;
}

img.icon {
    padding: 0;
    margin: 0;
    height: 1em;
}

/* Highlighting Styles
 *********************/

.hl_comment {
    color: #808080;
}

.hl_keyword {
    font-weight: bold;
}

.hl_operator {
    color: #a00000;
}

.hl_solved {
    background: #bbeebb;
}

.hl_superfluous {
    background: #eebbbb;
}

.keys {
    font-weight: bold;
    color: #800000;
}

/* Specific Styles
 *****************/

.ui-dialog-content {
    font-size: 0.85em;
}

div#dialog {
    display: none;
}

span#err {
    color: #800000;
    font-weight: bold;
}

span#loading img {
    vertical-align: middle;
}

p.rules {
    margin-top: 0em;
    padding-top: 0em;
}

img.graph {
    border: solid 1px #ccc;
}

/* Forms
 *******/

form {
    width: 100%;
    height: 100%;
}

label {
    display: block;
    font-weight: bold;
    margin-bottom: 1em;
}

div.tooltip {
    display: none;
}

div.required {
    width: 100%;
    height: 90%;
    margin-bottom: 3.5em;
}

textarea {
    display: block;
    width: 100%;
    height: 100%;
}

form.root-form div.required {
    height: auto;
    margin-bottom: 0;
}

form.root-form div.required label {
    display: none;
    font-weight: bold;
}

/* Navigation
 ************/

a.active-option {
    background-image: url(/static/img/option-on.png) !important;
    background-repeat: no-repeat !important;
    background-position: 12.8em center !important;
}

a.inactive-option {
    background-image: url(/static/img/option-off.png) !important;
    background-repeat: no-repeat !important;
    background-position: 12.8em center !important;
}

a.remove-step {
    height: 1em;
    padding: 0 1em 0 1em;
    background-image: url(/static/img/delete.png) !important;
    background-repeat: no-repeat !important;
    background-position: center !important;
    background-size: 1em;
    /* Standard */
    opacity: 0;
    /* Trident */
    filter: alpha(opacity=0);
}

a.edit-link:hover, a.delete-link:hover {
    background: none;
}

span.hl_solved:hover + a.remove-step,
a.proof-step:hover + a.remove-step {
    /* Standard */
    opacity: 0.5;
    /* Trident */
    filter: alpha(opacity=50);
}

a.remove-step:hover {
    /* Standard */
    opacity: 1;
    /* Trident */
    filter: alpha(opacity=100);
}

ul#navigation {
    list-style: none;
    float: right;
    margin: 0em;
    padding: 0em;
    margin-right: 0.3em;
}

ul#navigation li {
    float: left;
    width: 11em;
    display: inline;
    margin-right: 0.8em;
    position: relative;
    z-index: 999;
    padding-left: 0.5em;
}

ul#navigation li a {
    display: block;
    color: #000;
    width: 100%;
    margin-top: 0em;
    border-radius: 0.3em;
    padding: 0.3em;
    border: solid 1px #aeaeae;
    /* Gecko */
    background:
      -moz-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Presto */
    background:
      -o-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Webkit */
    background:
      -webkit-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Trident */
    filter:
      progid:DXImageTransform.Microsoft.gradient(
        startColorstr='#eeeeee',
        endColorstr='#cccccc',
        GradientType=0 );
}

ul#navigation li a:hover {
    background: #ccc;
    /* Standard */
    opacity: 0.8;
    /* Trident */
    filter: alpha(opacity=80);
}

ul#navigation li ul {
    width: 13em;
    display: none;
    list-style: none;
    margin-left: -0.8em;
    padding: 0.3em 0 0 0;
    /* Standard */
    opacity: 0.8;
    /* Trident */
    filter: alpha(opacity=80);
}

ul#navigation li ul li {
    width: 100%;
    margin: 0em;
    padding: 0em;
    background: #000;
    font-size: 0.8em;
    border-bottom: solid 1px #666;
}

ul#navigation li ul li:first-child {
    border-radius: 0.5em 0.5em 0 0;
}

ul#navigation li ul li:last-child {
    border-radius: 0 0 0.5em 0.5em;
    border-bottom: none;
}

ul#navigation li ul li a {
    display: block;
    width: 100%;
    height: 100%;
    color: #fff;
    padding: 0.5em;
    background: none;
    border: none;
}

ul#navigation li ul li a:hover {
    background: none;
}

ul#navigation li ul li:hover {
    background: #666;
}

/* Tables
 ********/

table {
    border-collapse: collapse;
}

table th {
    padding: 0.5em;
    background: #eeeeee;
    border: solid 1px #aeaeae;
    /* Gecko */
    background:
      -moz-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Presto */
    background:
      -o-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Webkit */
    background:
      -webkit-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Trident */
    filter:
      progid:DXImageTransform.Microsoft.gradient(
        startColorstr='#eeeeee',
        endColorstr='#cccccc',
        GradientType=0 );
}

table td {
    background: #fff;
    text-align: left;
    padding: 0.5em;
    border: solid 1px #aeaeae;
}

/* Headings
 **********/

h1.pane-head {
    z-index: inherit;
    font-size: 1.1em;
    font-weight: bold;
    position: relative;
    margin: 0em;
    padding: 0.5em;
    background: #eeeeee;
    border-bottom: solid 1px #aeaeae;
    width: 100%;
    /* Gecko */
    background:
      -moz-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Presto */
    background:
      -o-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Webkit */
    background:
      -webkit-linear-gradient(
        top,
        #eeeeee 0%,
        #cccccc 100%);
    /* Trident */
    filter:
      progid:DXImageTransform.Microsoft.gradient(
        startColorstr='#eeeeee',
        endColorstr='#cccccc',
        GradientType=0 );
}

h1 {
    font-size: 1.5em;
    z-index: inherit;
}

h2 {
    margin-top: 0em;
    margin-bottom: 0em;
    font-size: 1.2em;
}

h3 {
    margin-top: 0em;
    margin-bottom: 0em;
    font-size: 1em;
}

h4 {
    margin-top: 0em;
    margin-bottom: 0em;
    font-size: 1em;
}

/* Layout
 ********/

.ui-layout-north {
    z-index: 2 !important;
}

.ui-layout-east, .ui-layout-west, .ui-layout-center {
    z-index: 1;
    padding: 0em;
    margin: 0em;
    border: none;
    overflow: hidden;
}

.scroll-wrapper {
    position: absolute;
    top: 2.4em;
    bottom: 0em;
    left: 0em;
    right: 0em;
    padding: 0em;
    overflow: auto;
}

#ui-main-display, #ui-debug-display, #proof {
    z-index: inherit;
    padding: 0.8em;
    margin: 0em;
    height: 90%;
}

#ui-debug-display {
    font-size: 0.75em;
}

.ui-layout-pane {
    background: #fff;
}

.ui-layout-pane-north {
    font-size: 0.8em;
    background: #eeeeee;
    border-bottom: solid 1px #aeaeae;
}

div#header-info {
    float: left;
    font-weight: bold;
    padding: 0.75em;
    border: solid 1px #eeeeee;
}

div#header-links {
    float: right;
    font-weight: bold;
    padding: 0.5em;
}

div#header-links a.plain-link,
div#header-links a.save-link {
    margin: 0em;
    padding: 1em;
    padding-bottom: 0;
    line-height: 2em;
}

.ui-layout-resizer {
    background-color: #aeaeae;
    z-index: 1 !important;
}

.ui-layout-toggler {
    background-color: #666666;
    border-radius: 1em;
}