Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/francy/js/packages/francy/src/style/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 17.3.2023 mit Größe 7 kB image not shown  

Quelle  index.css   Sprache: unbekannt

 
.francy {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  position: relative;
  margin-top: 3px;
  border: solid 1px #cfcfcf;
  overflow: hidden;
  order: -1;
}

.francy-menu-arrow-right {
  width: 0;
  height: 0;
  border-top: 3px solid transparent;
  border-bottom: 3px solid transparent;
  border-left: 3px solid #000;
  margin-top: 10%
}

.francy-menu-arrow-down {
  width: 0;
  height: 0;
  border-left: 4px solid transparent;
  border-top: 4px solid #000
}

.francy-content {
  height: 100%;
  overflow: hidden;
  clear: both;
}

.francy-size10 {
  font-size: 10px!important
}

.francy-highlight:hover>path,
.francy-highlight:hover>ellipse,
.francy-highlight:hover>polygon {
  stroke: #70C700;
  stroke-width: 2
}

.francy-selected>path,
.francy-selected>ellipse,
.francy-selected>polygon {
  stroke: #70C700!important;
  stroke-width: 2.5!important
}

.francy-context {
  cursor: context-menu!important
}

.francy-links {
  cursor: pointer
}

.francy a {
  color: inherit
}

.francy-main-menu {
  background: #f6f6f6!important;
  float: left!important;
  list-style: none!important;
  width: 100%!important;
  border-bottom: 1px solid #cfcfcf!important;
  padding-left: 0!important;
}

.francy-main-menu li {
  float: left;
  position: relative;
  cursor: pointer;
  padding-left: 2px!important;
}

.francy-main-menu li ul {
  box-shadow: 2px 2px 2px grey!important;
  min-width: 120px!important;
  z-index: 500!important;
}

.francy-main-menu hr {
  border-color: #cfcfcf!important;
  margin: 0 !important;
}

.francy-main-menu li ul li:hover ul {
  position: absolute!important;
  left: 100%!important;
  top: 0!important;
}

.francy-main-menu li ul li ul {
  left: -9999px!important;
  list-style: none!important;
  position: absolute;
}

.francy-main-menu li a {
  display: block;
  padding: 10px 15px;
  text-decoration: none
}

.francy-main-menu .francy-title,
.francy-main-menu .francy-loader {
  float: right!important;
  cursor: auto
}

.francy-main-menu li.francy-title:hover a:hover {
  background: inherit!important
}

.francy-main-menu li:hover a {
  background: #f6f6f6;
  text-decoration: none
}

.francy-main-menu li:hover a:hover {
  background: #ededed;
  text-decoration: none
}

.francy-main-menu li:hover ul {
  left: 0;
  padding-left: 0!important;
}

.francy-main-menu li:hover ul a {
  text-decoration: none!important;
}

.francy-main-menu li:hover ul li a:hover {
  background: #ededed!important;
}

.francy-main-menu ul {
  left: -9999px;
  list-style: none!important;
  position: absolute;
}

.francy-main-menu ul a {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  min-width: 120px
}

.francy-main-menu ul li {
  float: none!important;
  width: 100%!important
}

.francy-context-menu-holder {
  display: none;
  position: absolute
}

.node,
.edge,
.francy-nodes,
.francy-bars,
.francy-lines,
.francy-labels,
.francy-scatters {
  cursor: pointer
}

.francy-node path,
.francy-node ellipse,
.francy-node polygon {
  stroke: #000;
  stroke-width: 0;
}

.francy-lines path,
.francy-lines ellipse,
.francy-lines polygon {
  fill: none
}

.francy-overlay {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  height: 100%;
  min-height: 100%;
  width: 100%;
  min-width: 100%;
  background-color: rgba(0, 0, 0, 0.5);
  z-index: 990;
  overflow: hidden;
}

.francy-modal {
  position: fixed;
  top: 25%;
  left: 50%;
  bottom: inherit;
  right: inherit;
  z-index: 1000;
  background: #fff;
  box-shadow: 2px 2px 2px grey;
  margin-left: -182px;
  margin-top: -102px;
  padding: 10px;
  display: block;
  min-width: 250px;
  max-width: 400px
}

.francy-modal-header {
  border-bottom: 1px solid #cfcfcf;
  text-align: center;
  padding: 10px 0;
  font-size: 18px;
  font-weight: bold;
}

.francy-modal-footer {
  border-top: 1px solid #cfcfcf;
  padding: 10px 0
}

.francy-modal-content {
  margin: 15px 5px
}

.francy-modal-content input,
.francy-modal-content select {
  margin: 1px;
  width: 100%
}

.francy-modal-footer button {
  float: right;
  margin-left: 5px
}

.francy-canvas {
  width: 100%
}

.francy svg {
  cursor: move;
  background-color: white
}

.francy text {
  fill: #000;
  /*font-size: 12px*/
}

.francy ul {
  margin: 0;
  padding: 0
}

.jp-OutputWidget-Francy {
  padding-right: 0!important;
  display: grid!important;
}

div.output_subarea.jp-OutputWidget-Francy.output_result {
  padding: 0;
  max-width: inherit!important
}

.francy-tooltip-holder {
  display: none;
  position: absolute
}

.francy-tooltip {
  min-width: fit-content;
  background: none repeat scroll 0 0 #f6f6f6;
  border: 1px solid #cfcfcf;
  padding: 10px;
  text-align: justify
}

.francy-title {
  font-weight: 700;
  text-overflow: ellipsis
}

.francy-loader>a {
  padding: 10px 10px 0 0!important;
}

.francy-context-menu {
  background: #f6f6f6;
  color: #333;
  min-width: 150px;
  border: 1px solid #cfcfcf;
  z-index: 500;
  box-shadow: 2px 2px 2px grey
}

.francy-context-menu ul {
  list-style-type: none!important;
  margin: 0!important;
  padding: 0!important;
  cursor: pointer!important;
}

.francy-context-menu ul li a {
  background: #f6f6f6;
  display: block;
  padding: 5px 10px;
  text-decoration: none
}

.francy-context-menu ul li a:hover {
  background-color: #ededed
}

.francy-table {
  display: table;
  width: 100%
}

.francy-table-row {
  display: table-row
}

.francy-table-row:first-child {
  text-align: right;
}

.francy-table-heading {
  background-color: #eee;
  display: table-header-group
}

.francy-table-cell,
.francy-table-head {
  display: table-cell;
  padding: 0 6px;
  vertical-align: middle;
  white-space: nowrap
}

.francy-table-heading {
  background-color: #eee;
  display: table-header-group;
  font-weight: 700
}

.francy-table-foot {
  background-color: #eee;
  display: table-footer-group;
  font-weight: 700
}

.francy-table-body {
  display: table-row-group
}

.francy pre {
  outline: 1px solid #ccc;
  overflow: auto;
  max-height: 200px
}

.francy .string {
  color: green
}

.francy .number {
  color: #ff8c00
}

.francy .boolean {
  color: blue
}

.francy .null {
  color: #f0f
}

.francy .key {
  color: red
}

@media only screen and (max-width: 700px) {
  .francy-main-menu .francy-title,
  .francy-main-menu .francy-loader {
    display: none
  }
}

.francy-message-holder {
  position: absolute;
  width: fit-content;
  max-width: 50%;
  min-width: 25%;
  top: 55px;
  left: 10px;
}

.francy-alert>span:not(:first-child) {
  margin-left: 5px
}

.francy-alert {
  padding: .75rem 1rem;
  margin: .2rem 0 0 .2rem;
  border: 1px solid transparent;
  border-radius: .25rem;
  cursor: pointer
}

.francy-alert:hover span.closeme {
  display: inline!important;
  float: right
}

.francy-alert.alert-info {
  color: #0c5460;
  background-color: #d1ecf1;
  border-color: #bee5eb
}

.francy-alert.alert-error {
  color: #721c24;
  background-color: #f8d7da;
  border-color: #f5c6cb
}

.francy-alert.alert-success {
  color: #155724;
  background-color: #d4edda;
  border-color: #c3e6cb
}

.francy-alert.alert-default {
  color: #1b1e21;
  background-color: #f6f6f6;
  border-color: #cfcfcf
}

.francy-alert.alert-warning {
  color: #856404;
  background-color: #fff3cd;
  border-color: #ffeeba
}

.strong {
  font-weight: 700
}

div.output_subarea {
  max-width: 100%;
}

.loader {
  border: 4px solid #cfcfcf;
  border-radius: 50%;
  border-top: 4px solid #3498db;
  width: 5px;
  height: 5px;
  -webkit-animation: spin 2s linear infinite;
  animation: spin 2s linear infinite;
  margin: 11px 3px 0 0;
  visibility: hidden
}

a[target='_blank']::after {
  content:' \25F3'
}

.francy-output {
  margin-top: 5px;
  border: solid 1px #cfcfcf;
  display: grid;
}

.francy-output-header {
  background-color: #f6f6f6;
  border-bottom: solid 1px #cfcfcf;
  padding: 5px;
  font-weight: 700;
}

.francy-output-value {
  padding: 5px
}

foreignObject {
  overflow: visible;
}

/* Safari */

@-webkit-keyframes spin {
  0% {
    -webkit-transform: rotate(0deg);
  }
  100% {
    -webkit-transform: rotate(360deg);
  }
}

@keyframes spin {
  0% {
    transform: rotate(0deg);
  }
  100% {
    transform: rotate(360deg);
  }
}

[ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ]