@dodona/papyros 1.0.1 → 2.0.0-beta.0

package/dist/Papyros.css

@@ -0,0 +1,563 @@
+/* Utitilies are prefixed by Tailwind */
+
+._tw-col-span-1 {
+  grid-column: span 1 / span 1 !important;
+}
+
+._tw-col-span-2 {
+  grid-column: span 2 / span 2 !important;
+}
+
+._tw-col-span-6 {
+  grid-column: span 6 / span 6 !important;
+}
+
+._tw-m-10 {
+  margin: 2.5rem !important;
+}
+
+._tw-m-2 {
+  margin: 0.5rem !important;
+}
+
+._tw-mx-1 {
+  margin-left: 0.25rem !important;
+  margin-right: 0.25rem !important;
+}
+
+._tw-my-1 {
+  margin-top: 0.25rem !important;
+  margin-bottom: 0.25rem !important;
+}
+
+._tw-mr-0 {
+  margin-right: 0px !important;
+}
+
+._tw-mr-0\.5 {
+  margin-right: 0.125rem !important;
+}
+
+._tw-mr-3 {
+  margin-right: 0.75rem !important;
+}
+
+._tw-box-border {
+  box-sizing: border-box !important;
+}
+
+._tw-flex {
+  display: flex !important;
+}
+
+._tw-grid {
+  display: grid !important;
+}
+
+._tw-h-\[10px\] {
+  height: 10px !important;
+}
+
+._tw-h-\[20px\] {
+  height: 20px !important;
+}
+
+._tw-h-full {
+  height: 100% !important;
+}
+
+._tw-max-h-1\/5 {
+  max-height: 16vh !important;
+}
+
+._tw-max-h-3\/5 {
+  max-height: 48vh !important;
+}
+
+._tw-max-h-full {
+  max-height: 80vh !important;
+}
+
+._tw-max-h-screen {
+  max-height: 100vh !important;
+}
+
+._tw-min-h-1\/4 {
+  min-height: 20vh !important;
+}
+
+._tw-min-h-screen {
+  min-height: 100vh !important;
+}
+
+._tw-w-\[10px\] {
+  width: 10px !important;
+}
+
+._tw-w-\[20px\] {
+  width: 20px !important;
+}
+
+._tw-w-full {
+  width: 100% !important;
+}
+
+._tw-min-w-\[60px\] {
+  min-width: 60px !important;
+}
+
+@keyframes _tw-spin {
+  to {
+    transform: rotate(360deg);
+  }
+}
+
+._tw-animate-spin {
+  animation: _tw-spin 1s linear infinite !important;
+}
+
+._tw-grid-cols-2 {
+  grid-template-columns: repeat(2, minmax(0, 1fr)) !important;
+}
+
+._tw-grid-cols-8 {
+  grid-template-columns: repeat(8, minmax(0, 1fr)) !important;
+}
+
+._tw-flex-row {
+  flex-direction: row !important;
+}
+
+._tw-flex-row-reverse {
+  flex-direction: row-reverse !important;
+}
+
+._tw-items-center {
+  align-items: center !important;
+}
+
+._tw-gap-4 {
+  gap: 1rem !important;
+}
+
+._tw-overflow-auto {
+  overflow: auto !important;
+}
+
+._tw-overflow-y-hidden {
+  overflow-y: hidden !important;
+}
+
+._tw-whitespace-pre {
+  white-space: pre !important;
+}
+
+._tw-rounded-full {
+  border-radius: 9999px !important;
+}
+
+._tw-rounded-lg {
+  border-radius: 0.5rem !important;
+}
+
+._tw-border {
+  border-width: 1px !important;
+}
+
+._tw-border-2 {
+  border-width: 2px !important;
+}
+
+._tw-border-b-2 {
+  border-bottom-width: 2px !important;
+}
+
+._tw-border-solid {
+  border-style: solid !important;
+}
+
+._tw-border-blue-500 {
+  --tw-border-opacity: 1 !important;
+  border-color: rgb(59 130 246 / var(--tw-border-opacity)) !important;
+}
+
+._tw-border-gray-200 {
+  --tw-border-opacity: 1 !important;
+  border-color: rgb(229 231 235 / var(--tw-border-opacity)) !important;
+}
+
+._tw-border-red-500 {
+  --tw-border-opacity: 1 !important;
+  border-color: rgb(239 68 68 / var(--tw-border-opacity)) !important;
+}
+
+._tw-border-b-red-500 {
+  --tw-border-opacity: 1 !important;
+  border-bottom-color: rgb(239 68 68 / var(--tw-border-opacity)) !important;
+}
+
+._tw-bg-blue-500 {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(59 130 246 / var(--tw-bg-opacity)) !important;
+}
+
+._tw-bg-neutral-bg {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(69 90 100 / var(--tw-bg-opacity)) !important;
+}
+
+._tw-bg-red-500 {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(239 68 68 / var(--tw-bg-opacity)) !important;
+}
+
+._tw-bg-slate-200 {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(226 232 240 / var(--tw-bg-opacity)) !important;
+}
+
+._tw-bg-slate-500 {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(100 116 139 / var(--tw-bg-opacity)) !important;
+}
+
+._tw-bg-white {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(255 255 255 / var(--tw-bg-opacity)) !important;
+}
+
+._tw-p-4 {
+  padding: 1rem !important;
+}
+
+._tw-px-1 {
+  padding-left: 0.25rem !important;
+  padding-right: 0.25rem !important;
+}
+
+._tw-px-2 {
+  padding-left: 0.5rem !important;
+  padding-right: 0.5rem !important;
+}
+
+._tw-py-1 {
+  padding-top: 0.25rem !important;
+  padding-bottom: 0.25rem !important;
+}
+
+._tw-text-center {
+  text-align: center !important;
+}
+
+._tw-text-4xl {
+  font-size: 2.25rem !important;
+  line-height: 2.5rem !important;
+}
+
+._tw-text-lg {
+  font-size: 1.125rem !important;
+  line-height: 1.75rem !important;
+}
+
+._tw-font-bold {
+  font-weight: 700 !important;
+}
+
+._tw-font-medium {
+  font-weight: 500 !important;
+}
+
+._tw-text-\[\#FF8F00\] {
+  --tw-text-opacity: 1 !important;
+  color: rgb(255 143 0 / var(--tw-text-opacity)) !important;
+}
+
+._tw-text-black {
+  --tw-text-opacity: 1 !important;
+  color: rgb(0 0 0 / var(--tw-text-opacity)) !important;
+}
+
+._tw-text-blue-500 {
+  --tw-text-opacity: 1 !important;
+  color: rgb(59 130 246 / var(--tw-text-opacity)) !important;
+}
+
+._tw-text-red-500 {
+  --tw-text-opacity: 1 !important;
+  color: rgb(239 68 68 / var(--tw-text-opacity)) !important;
+}
+
+._tw-text-white {
+  --tw-text-opacity: 1 !important;
+  color: rgb(255 255 255 / var(--tw-text-opacity)) !important;
+}
+
+._tw-border-b-red-500 {
+  border-bottom-color: #ef4444 !important;
+}
+
+/* Tailwind base css that is used in Papyros */
+
+/* Source: node_modules/tailwindcss/src/css/preflight.css */
+
+/*
+1. Prevent padding and border from affecting element width. (https://github.com/mozdevs/cssremedy/issues/4)
+2. Allow adding a border to an element by just adding a border-width. (https://github.com/tailwindcss/tailwindcss/pull/116)
+*/
+
+.tailwind *,
+.tailwind ::before,
+.tailwind ::after {
+  box-sizing: border-box;
+  /* 1 */
+  border-width: 0;
+  /* 2 */
+  border-style: solid;
+  /* 2 */
+  border-color: #e5e7eb;
+  /* 2 */
+}
+
+.tailwind ::before,
+.tailwind ::after {
+  --tw-content: '';
+}
+
+/*
+1. Use a consistent sensible line-height in all browsers.
+2. Prevent adjustments of font size after orientation changes in iOS.
+3. Use a more readable tab size.
+4. Use the user's configured `sans` font-family by default.
+*/
+
+.tailwind-html {
+  line-height: 1.5;
+  /* 1 */
+  -webkit-text-size-adjust: 100%;
+  /* 2 */
+  -moz-tab-size: 4;
+  /* 3 */
+  -o-tab-size: 4;
+     tab-size: 4;
+  /* 3 */
+  font-family: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
+  /* 4 */
+}
+
+/*
+1. Remove the margin in all browsers.
+2. Inherit line-height from `html` so users can set them as a class directly on the `html` element.
+*/
+
+.tailwind-body {
+  margin: 0;
+  /* 1 */
+  line-height: inherit;
+  /* 2 */
+}
+
+/*
+1. Change the font styles in all browsers.
+2. Remove the margin in Firefox and Safari.
+3. Remove default padding in all browsers.
+*/
+
+.tailwind button,
+.tailwind input,
+.tailwind select,
+.tailwind textarea {
+  font-family: inherit;
+  /* 1 */
+  font-size: 100%;
+  /* 1 */
+  line-height: inherit;
+  /* 1 */
+  color: inherit;
+  /* 1 */
+  margin: 0;
+  /* 2 */
+  padding: 0;
+  /* 3 */
+}
+
+/*
+Use the modern Firefox focus style for all focusable elements.
+*/
+
+.tailwind :-moz-focusring {
+  outline: auto;
+}
+
+/*
+Removes the default spacing and border for appropriate elements.
+*/
+
+.tailwind p {
+  margin: 0;
+}
+
+/*
+1. Reset the default placeholder opacity in Firefox. (https://github.com/tailwindlabs/tailwindcss/issues/3300)
+2. Set the default placeholder color to the user's configured gray 400 color.
+*/
+
+.tailwind input::-moz-placeholder, .tailwind textarea::-moz-placeholder {
+  opacity: 1;
+  /* 1 */
+  color: #9ca3af;
+  /* 2 */
+}
+
+.tailwind input::placeholder,
+.tailwind textarea::placeholder {
+  opacity: 1;
+  /* 1 */
+  color: #9ca3af;
+  /* 2 */
+}
+
+/* Ensure the default browser behavior of the `hidden` attribute. */
+
+[hidden] {
+  /* Make it invisible while keeping page layout */
+  visibility: hidden !important;
+}
+
+/* CodeMirror search panel close button*/
+
+.cm-search > [name="close"] {
+  cursor: pointer;
+}
+
+.cm-content,
+.papyros-font-family {
+  font-family: Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace;
+}
+
+/* Override top border generated by @codemirror/one-dark-theme */
+
+.ͼo .cm-panels.cm-panels-bottom {
+  /* dark-mode-content in tailwind.config.js*/
+  border-color: #37474F;
+}
+
+/* Change styling of tooltips generated by CodeMirror */
+
+.cm-completionInfo {
+  white-space: pre;
+  overflow: auto;
+  resize: both;
+  /* override default max width/height to allow resizing */
+  max-width: 600px !important;
+  max-height: 600px !important;
+}
+
+/* 
+  Disable resizing left completion infos as its movements are mirrored
+  According to https://github.com/codemirror/codemirror.next/issues/815
+  this feature is out of scope for CodeMirror
+*/
+
+.cm-completionInfo-left {
+  resize: none;
+}
+
+/* Add placeholder to an empty element */
+
+.with-placeholder:empty:before {
+  content: attr(data-placeholder);
+  /* same value as placeholder-grey in tailwind.config.js */
+  color: #888;
+}
+
+/* Also override CodeMirror buttons to use this style */
+
+.papyros-button, .cm-button {
+  margin: 0.25rem !important;
+  cursor: pointer !important;
+  border-radius: 0.5rem !important;
+  padding-left: 0.75rem !important;
+  padding-right: 0.75rem !important;
+  padding-top: 0.25rem !important;
+  padding-bottom: 0.25rem !important;
+}
+
+.papyros-button:disabled, .cm-button:disabled {
+  cursor: not-allowed !important;
+  opacity: 0.5 !important;
+}
+
+/* Round the corners of textfields created by CodeMirror */
+
+.cm-textfield {
+  border-radius: 0.5rem !important;
+}
+
+.placeholder\:_tw-text-placeholder-grey::-moz-placeholder {
+  --tw-text-opacity: 1 !important;
+  color: rgb(136 136 136 / var(--tw-text-opacity)) !important;
+}
+
+.placeholder\:_tw-text-placeholder-grey::placeholder {
+  --tw-text-opacity: 1 !important;
+  color: rgb(136 136 136 / var(--tw-text-opacity)) !important;
+}
+
+.hover\:_tw-cursor-pointer:hover {
+  cursor: pointer !important;
+}
+
+.focus\:_tw-outline-none:focus {
+  outline: 2px solid transparent !important;
+  outline-offset: 2px !important;
+}
+
+.focus\:_tw-ring-1:focus {
+  --tw-ring-offset-shadow: var(--tw-ring-inset) 0 0 0 var(--tw-ring-offset-width) var(--tw-ring-offset-color) !important;
+  --tw-ring-shadow: var(--tw-ring-inset) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color) !important;
+  box-shadow: var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow, 0 0 #0000) !important;
+}
+
+.focus\:_tw-ring-blue-500:focus {
+  --tw-ring-opacity: 1 !important;
+  --tw-ring-color: rgb(59 130 246 / var(--tw-ring-opacity)) !important;
+}
+
+.disabled\:_tw-cursor-not-allowed:disabled {
+  cursor: not-allowed !important;
+}
+
+:is(._tw-dark .dark\:_tw-border-dark-mode-blue) {
+  --tw-border-opacity: 1 !important;
+  border-color: rgb(2 119 189 / var(--tw-border-opacity)) !important;
+}
+
+:is(._tw-dark .dark\:_tw-border-dark-mode-content) {
+  --tw-border-opacity: 1 !important;
+  border-color: rgb(55 71 79 / var(--tw-border-opacity)) !important;
+}
+
+:is(._tw-dark .dark\:_tw-bg-dark-mode-bg) {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(38 50 56 / var(--tw-bg-opacity)) !important;
+}
+
+:is(._tw-dark .dark\:_tw-bg-dark-mode-blue) {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(2 119 189 / var(--tw-bg-opacity)) !important;
+}
+
+:is(._tw-dark .dark\:_tw-bg-slate-500) {
+  --tw-bg-opacity: 1 !important;
+  background-color: rgb(100 116 139 / var(--tw-bg-opacity)) !important;
+}
+
+:is(._tw-dark .dark\:_tw-text-dark-mode-blue) {
+  --tw-text-opacity: 1 !important;
+  color: rgb(2 119 189 / var(--tw-text-opacity)) !important;
+}
+
+:is(._tw-dark .dark\:_tw-text-white) {
+  --tw-text-opacity: 1 !important;
+  color: rgb(255 255 255 / var(--tw-text-opacity)) !important;
+}

package/dist/Papyros.d.ts

@@ -1,4 +1,3 @@
-import "./Papyros.css";
 import { InputManagerRenderOptions, InputMode } from "./InputManager";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
 import { RunState, CodeRunner } from "./CodeRunner";