1.1 --- a/docs/wiki/Resources Thu Feb 06 17:46:13 2020 +0100
1.2 +++ b/docs/wiki/Resources Mon Aug 03 00:03:47 2020 +0200
1.3 @@ -39,7 +39,7 @@
1.4 //format=svg
1.5 //transform=notugly
1.6 digraph scheduling_decisions {
1.7 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.8 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.9 edge [tooltip="Scheduling decisions"];
1.10
1.11 mail [label="Incoming mail",shape=folder,style=filled,fillcolor=cyan];
1.12 @@ -119,7 +119,7 @@
1.13 //format=svg
1.14 //transform=notugly
1.15 digraph scheduling_decisions {
1.16 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.17 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.18 edge [tooltip="Scheduling decisions"];
1.19
1.20 mail [label="Incoming mail",shape=folder,style=filled,fillcolor=cyan];
1.21 @@ -181,7 +181,7 @@
1.22 //format=svg
1.23 //transform=notugly
1.24 digraph scheduling_decisions {
1.25 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.26 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.27 edge [tooltip="Scheduling decisions"];
1.28
1.29 mail [label="Incoming mail",shape=folder,style=filled,fillcolor=cyan];
1.30 @@ -262,7 +262,7 @@
1.31 //format=svg
1.32 //transform=notugly
1.33 digraph scheduling_decisions {
1.34 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.35 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.36 edge [tooltip="Scheduling decisions"];
1.37
1.38 mail [label="Incoming mail",shape=folder,style=filled,fillcolor=cyan];
1.39 @@ -330,7 +330,7 @@
1.40 //format=svg
1.41 //transform=notugly
1.42 digraph scheduling_decisions {
1.43 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.44 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.45 edge [tooltip="Scheduling decisions"];
1.46
1.47 mail [label="Incoming mail",shape=folder,style=filled,fillcolor=cyan];
1.48 @@ -389,7 +389,7 @@
1.49 //format=svg
1.50 //transform=notugly
1.51 digraph quota_users {
1.52 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Quota example"];
1.53 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Quota example"];
1.54 edge [tooltip="Quota example"];
1.55
1.56 subgraph {
1.57 @@ -434,7 +434,7 @@
1.58 //format=svg
1.59 //transform=notugly
1.60 digraph quota_users {
1.61 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Quota example"];
1.62 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Quota example"];
1.63 edge [tooltip="Quota example"];
1.64
1.65 subgraph {
1.66 @@ -575,7 +575,7 @@
1.67 //format=svg
1.68 //transform=notugly
1.69 digraph quota_users {
1.70 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Quota users"];
1.71 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Quota users"];
1.72 edge [tooltip="Quota users"];
1.73
1.74 subgraph {
1.75 @@ -630,7 +630,7 @@
1.76 //format=svg
1.77 //transform=notugly
1.78 digraph scheduling_decisions {
1.79 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.80 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.81 edge [tooltip="Scheduling decisions"];
1.82
1.83 subgraph {
1.84 @@ -689,7 +689,7 @@
1.85 //format=svg
1.86 //transform=notugly
1.87 digraph scheduling_decisions {
1.88 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.89 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.90 edge [tooltip="Scheduling decisions"];
1.91
1.92 subgraph {
1.93 @@ -760,7 +760,7 @@
1.94 //format=svg
1.95 //transform=notugly
1.96 digraph scheduling_decisions {
1.97 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.98 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.99 edge [tooltip="Scheduling decisions"];
1.100
1.101 subgraph {
1.102 @@ -838,7 +838,7 @@
1.103 //format=svg
1.104 //transform=notugly
1.105 digraph scheduling_decisions {
1.106 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.107 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.108 edge [tooltip="Scheduling decisions"];
1.109
1.110 subgraph {
1.111 @@ -916,7 +916,7 @@
1.112 //format=svg
1.113 //transform=notugly
1.114 digraph scheduling_decisions {
1.115 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Scheduling decisions"];
1.116 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Scheduling decisions"];
1.117 edge [tooltip="Scheduling decisions"];
1.118
1.119 subgraph {