main.css

@charset 'UTF-8';

@font-face {
    font-family: 'Ubuntu';
    src: url('./fonts/ubuntu/Ubuntu-R.ttf');
}

body {
    /*background-color: #336698;*/
    font: Verdana, sans-serif;
}

#top_panel {
    display: block;
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    /*height: 100px;*/
    /*height: 40px;*/
    background: #333333;
    /*background: #242424;*/
    box-shadow: 0 0.2em 0.3em #888;
    /*color: white;*/
    padding: 0.5em;
    padding-left: 2em;
}
#top_panel .caption {
    color: #dd4814; /*Ubuntu orange*/
    display: block;
    float: left;
    font: bold 0.9em Ubuntu, Verdana, sans-serif;
    padding-right: 2em;
    border-right: 1px solid #909090;
}
#top_panel a {
    display: block;
    float: left;
    padding: 0 1.375em;
    line-height: 50px;
    text-decoration: none;
    font: 0.8em Ubuntu, Verdana, sans-serif;
    color: #c0c0c0;
    border-right: 1px solid #909090;
}
#top_panel a:hover {
    color: white;
}


#container {
    position: absolute;
    bottom: 0;
    left: 0px;
    top: 0px;
    right: 0px;
    overflow: hidden;
}
#label_editor {
    position: absolute;
    border: 0 none white;
    overflow: hidden;
    padding: 1px 0px 0px 0px;
    outline: none;
    background-color: white;
    resize: none;
    /*background: transparent;*/
}
#myCanvas {
    border: 1px solid #9C9898;
    /*background: #44accf;*/
    background: #efefef;
    color: red;
    font: normal 0.8em Ubuntu, Verdana, sans-serif;
    user-select: none;
    -webkit-user-select: none;
    -moz-user-select: none;
    /*position: absolute;*/
    /*width: 100%;*/
    /*height: 100%;*/
    left: 0;
    top: 0;
    /*display: block auto;*/
}
#svg_container {
  position: absolute;
  /*border:solid 1px orange;*/
  /*overflow: hidden;*/
  bottom: 0;
  right: 0;
  left: 0;
  top: 0;
}
#svg_container svg{
  /*display: block;*/
  /*margin: 0 0 0 0;*/
  /*padding: 0 0 0 0;*/
}
#automaton-node {
    visibility: hidden;
    background: #fec867;
    /*background: #dd4814; Ubuntu orange*/
    color: black;
}
#automaton-edge {
    visibility: hidden;
    background: black;
    color: black;
}

*.unselectable {
   -moz-user-select: -moz-none;
   -khtml-user-select: none;
   -webkit-user-select: none;

   /*
     Introduced in IE 10.
     See http://ie.microsoft.com/testdrive/HTML5/msUserSelect/
   */
   -ms-user-select: none;
   user-select: none;
}

/* SVG */
circle {
  fill: dodgerblue;
  stroke: #333;
  stroke-width: 1.5px;
  fill-opacity: 0.5;
}

.marked {
  fill: none;
  stroke: #333;
  stroke-width: 0.8px;
}

line,
path
{
  stroke: #333;
  stroke-width: 1.5px;
  /*fill: none;*/
}

.node text {
  font: 10px sans-serif;
  pointer-events: none;
  /*text-anchor: middle;*/
}

.label {
  font: 10px sans-serif;
  pointer-events: none;
  /*text-anchor: middle;*/
  text-shadow: 2px 2px 1px white, -2px -2px 1px white, 2px -2px 1px white, -2px 2px 1px white;
}