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: 25vh;
  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   border-left: 2em solid white;
  77 }
  78
  79 .atoms-head {
  80 }
  81
  82 .atoms-table {
  83   border-spacing: 0.25em;
  84 }
  85
  86 .atoms {
  87   overflow-x: auto;
  88   border-bottom: 0.5em solid white;
  89 }
  90
  91 .atom {
  92   padding: 0.25em 0.25em;
  93 }
  94
  95 .count {
  96 }
  97
  98 .selected {
  99   border: 1pt solid;
 100 }
 101
 102 /* colors *******************************************************************/
 103
 104 .role-color {
 105   color: darkviolet;
 106 }
 107
 108 .object-color {
 109   color: deepskyblue;
 110 }
 111
 112 .name-color {
 113   color: seagreen;
 114 }
 115
 116 .error-color {
 117   color: red;
 118 }