Simulate graph states in the browser
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

121 lines
5.2KB

  1. body {
  2. margin: 40px auto;
  3. max-width: 650px;
  4. padding: 0 10px;
  5. font-family: FreeSans,sans-serif;
  6. font-size: 11pt;
  7. }
  8. code {
  9. overflow: scroll;
  10. color: #aa0000;
  11. }
  12. pre{
  13. padding: 1em;
  14. background-color: #000000;
  15. border: 1px solid #eeeeee;
  16. overflow-x: auto;
  17. }
  18. form{
  19. padding: 1em;
  20. background-color: #fafafa;
  21. border: 1px solid #eeeeee;
  22. }
  23. input
  24. {
  25. font-size: 11pt;
  26. margin: .5em;
  27. }
  28. input[type=file] {
  29. white-space: nowrap;
  30. overflow: hidden;
  31. width: 300px;
  32. font-family: monospace;
  33. color: gray;
  34. }
  35. .codehilite .hll { background-color: #f1fa8c }
  36. .codehilite { background: #282a36; color: #f8f8f2 }
  37. .codehilite .c { color: #6272a4 } /* Comment */
  38. .codehilite .err { color: #f8f8f2 } /* Error */
  39. .codehilite .g { color: #f8f8f2 } /* Generic */
  40. .codehilite .k { color: #ff79c6 } /* Keyword */
  41. .codehilite .l { color: #f8f8f2 } /* Literal */
  42. .codehilite .n { color: #f8f8f2 } /* Name */
  43. .codehilite .o { color: #ff79c6 } /* Operator */
  44. .codehilite .x { color: #f8f8f2 } /* Other */
  45. .codehilite .p { color: #f8f8f2 } /* Punctuation */
  46. .codehilite .ch { color: #6272a4 } /* Comment.Hashbang */
  47. .codehilite .cm { color: #6272a4 } /* Comment.Multiline */
  48. .codehilite .cp { color: #ff79c6 } /* Comment.Preproc */
  49. .codehilite .cpf { color: #6272a4 } /* Comment.PreprocFile */
  50. .codehilite .c1 { color: #6272a4 } /* Comment.Single */
  51. .codehilite .cs { color: #6272a4 } /* Comment.Special */
  52. .codehilite .gd { color: #8b080b } /* Generic.Deleted */
  53. .codehilite .ge { color: #f8f8f2; text-decoration: underline } /* Generic.Emph */
  54. .codehilite .gr { color: #f8f8f2 } /* Generic.Error */
  55. .codehilite .gh { color: #f8f8f2; font-weight: bold } /* Generic.Heading */
  56. .codehilite .gi { color: #f8f8f2; font-weight: bold } /* Generic.Inserted */
  57. .codehilite .go { color: #44475a } /* Generic.Output */
  58. .codehilite .gp { color: #f8f8f2 } /* Generic.Prompt */
  59. .codehilite .gs { color: #f8f8f2 } /* Generic.Strong */
  60. .codehilite .gu { color: #f8f8f2; font-weight: bold } /* Generic.Subheading */
  61. .codehilite .gt { color: #f8f8f2 } /* Generic.Traceback */
  62. .codehilite .kc { color: #ff79c6 } /* Keyword.Constant */
  63. .codehilite .kd { color: #8be9fd; font-style: italic } /* Keyword.Declaration */
  64. .codehilite .kn { color: #ff79c6 } /* Keyword.Namespace */
  65. .codehilite .kp { color: #ff79c6 } /* Keyword.Pseudo */
  66. .codehilite .kr { color: #ff79c6 } /* Keyword.Reserved */
  67. .codehilite .kt { color: #8be9fd } /* Keyword.Type */
  68. .codehilite .ld { color: #f8f8f2 } /* Literal.Date */
  69. .codehilite .m { color: #bd93f9 } /* Literal.Number */
  70. .codehilite .s { color: #f1fa8c } /* Literal.String */
  71. .codehilite .na { color: #50fa7b } /* Name.Attribute */
  72. .codehilite .nb { color: #8be9fd; font-style: italic } /* Name.Builtin */
  73. .codehilite .nc { color: #50fa7b } /* Name.Class */
  74. .codehilite .no { color: #f8f8f2 } /* Name.Constant */
  75. .codehilite .nd { color: #f8f8f2 } /* Name.Decorator */
  76. .codehilite .ni { color: #f8f8f2 } /* Name.Entity */
  77. .codehilite .ne { color: #f8f8f2 } /* Name.Exception */
  78. .codehilite .nf { color: #50fa7b } /* Name.Function */
  79. .codehilite .nl { color: #8be9fd; font-style: italic } /* Name.Label */
  80. .codehilite .nn { color: #f8f8f2 } /* Name.Namespace */
  81. .codehilite .nx { color: #f8f8f2 } /* Name.Other */
  82. .codehilite .py { color: #f8f8f2 } /* Name.Property */
  83. .codehilite .nt { color: #ff79c6 } /* Name.Tag */
  84. .codehilite .nv { color: #8be9fd; font-style: italic } /* Name.Variable */
  85. .codehilite .ow { color: #ff79c6 } /* Operator.Word */
  86. .codehilite .w { color: #f8f8f2 } /* Text.Whitespace */
  87. .codehilite .mb { color: #bd93f9 } /* Literal.Number.Bin */
  88. .codehilite .mf { color: #bd93f9 } /* Literal.Number.Float */
  89. .codehilite .mh { color: #bd93f9 } /* Literal.Number.Hex */
  90. .codehilite .mi { color: #bd93f9 } /* Literal.Number.Integer */
  91. .codehilite .mo { color: #bd93f9 } /* Literal.Number.Oct */
  92. .codehilite .sa { color: #f1fa8c } /* Literal.String.Affix */
  93. .codehilite .sb { color: #f1fa8c } /* Literal.String.Backtick */
  94. .codehilite .sc { color: #f1fa8c } /* Literal.String.Char */
  95. .codehilite .dl { color: #f1fa8c } /* Literal.String.Delimiter */
  96. .codehilite .sd { color: #f1fa8c } /* Literal.String.Doc */
  97. .codehilite .s2 { color: #f1fa8c } /* Literal.String.Double */
  98. .codehilite .se { color: #f1fa8c } /* Literal.String.Escape */
  99. .codehilite .sh { color: #f1fa8c } /* Literal.String.Heredoc */
  100. .codehilite .si { color: #f1fa8c } /* Literal.String.Interpol */
  101. .codehilite .sx { color: #f1fa8c } /* Literal.String.Other */
  102. .codehilite .sr { color: #f1fa8c } /* Literal.String.Regex */
  103. .codehilite .s1 { color: #f1fa8c } /* Literal.String.Single */
  104. .codehilite .ss { color: #f1fa8c } /* Literal.String.Symbol */
  105. .codehilite .bp { color: #f8f8f2; font-style: italic } /* Name.Builtin.Pseudo */
  106. .codehilite .fm { color: #50fa7b } /* Name.Function.Magic */
  107. .codehilite .vc { color: #8be9fd; font-style: italic } /* Name.Variable.Class */
  108. .codehilite .vg { color: #8be9fd; font-style: italic } /* Name.Variable.Global */
  109. .codehilite .vi { color: #8be9fd; font-style: italic } /* Name.Variable.Instance */
  110. .codehilite .vm { color: #8be9fd; font-style: italic } /* Name.Variable.Magic */
  111. .codehilite .il { color: #bd93f9 } /* Literal.Number.Integer.Long */