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 /* layouts ******************************************************************/
  29
  30 .atoms-head {
  31 }
  32
  33 .count {
  34 }
  35
  36 .atoms {
  37   overflow-x: auto;
  38   border-bottom: 0.5em solid white;
  39 }
  40
  41 .atom {
  42   padding: 0.25em 0.5em;
  43 }
  44
  45 .selected {
  46   border: 1pt dotted;
  47 }
  48
  49 /* colors *******************************************************************/
  50
  51 .object {
  52   color: skyblue;
  53 }
  54
  55 .name {
  56   color: darkseagreen;
  57 }