matita/matita/contribs/lambdadelta/bin/roles/roles.css

   1 @charset "UTF-8";
   2
   3 /* anchors ******************************************************************/
   4
   5 a:link {
   6   text-decoration: initial;
   7   color: inherit;
   8 }
   9
  10 /* visited link */
  11 a:visited {
  12   text-decoration: initial;
  13   color: inherit;
  14 }
  15
  16 /* mouse over link */
  17 a:hover {
  18   text-decoration: underline;
  19   color: inherit;
  20 }
  21
  22 /* selected link */
  23 a:active {
  24   text-decoration: underline;
  25   color: inherit;
  26 }
  27
  28 /* headings layouts *********************************************************/
  29
  30 .head {
  31   font-size: 2em;
  32   font-weight: bold;
  33   margin: 0.67em 0;
  34   text-align: center;
  35 }
  36
  37 .error {
  38   margin-top: 1em;
  39 }
  40
  41 /* button layouts ***********************************************************/
  42
  43 .buttons {
  44   padding-bottom: 1em;
  45 /*  border-bottom: 1px solid black; */
  46   margin: 1em 0;
  47 }
  48
  49 .button {
  50   padding: 0.25em 0.5em;
  51   border: 1px solid black;
  52   margin-right: 1em;
  53 }
  54
  55 /* status layouts ***********************************************************/
  56
  57 .stage {
  58   padding-bottom: 0.75em;
  59 }
  60
  61 .roles-head {
  62   height: 36ex;
  63   overflow-y: auto;
  64   padding: 1em 0;
  65   margin-bottom: 1em;
  66   border-bottom: 1px solid black;
  67   border-top: 1px solid black;
  68 }
  69
  70 .role {
  71   margin: 0.5em 0.5em;
  72   padding: 0.25em 0.25em;
  73 }
  74
  75 .roles {
  76   display: none;
  77   border-left: 2em solid white;
  78 }
  79
  80 .roles:target {
  81   display: block;
  82 }
  83
  84 .atoms-head {
  85 }
  86
  87 .atoms-table {
  88   border-spacing: 0.25em;
  89 }
  90
  91 .atoms {
  92   overflow-x: auto;
  93   border-bottom: 0.5em solid white;
  94 }
  95
  96 .atom {
  97   padding: 0.25em 0.25em;
  98 }
  99
 100 .count {
 101 }
 102
 103 .selected {
 104   border: 1pt solid;
 105 }
 106
 107 /* colors *******************************************************************/
 108
 109 .role-color {
 110   color: darkviolet;
 111 }
 112
 113 .object-color {
 114   color: deepskyblue;
 115 }
 116
 117 .name-color {
 118   color: seagreen;
 119 }
 120
 121 .error-color {
 122   color: red;
 123 }