way[pruvodce=visited] {
color: #000;
+ width: 0.3;
z-index: 9;
}
}
*/
-/*
node[pruvodce=src], node[pruvodce=dest] {
symbol-shape: circle;
- symbol-size: 2;
- symbol-fill-color: #c0c;
- z-index: 10;
+ symbol-size: 3;
+ symbol-fill-color: #ccc;
+ symbol-stroke-color: #000;
+ symbol-stroke-width: 0.5;
+ z-index: 11;
}
-*/
/*** Backward Dijkstra ***/
way[pruvodce2=visited] {
color: #000;
+ width: 0.3;
z-index: 9;
}