Strip out Google Analytics.
[io10] / main.css
2024-04-13 Robert HoganChange container height origin/HEAD origin/master
2023-09-24 Robert HoganAdd a color border to split the two panes
2023-09-13 Rob HoganAdd indicator of current pipeline
2023-09-01 Rob HoganMake the files and title labels the same width
2023-09-01 Rob HoganFix the logo font to reduce gaps
2023-08-31 Rob HoganTwiddle appearance of help bar
2023-08-31 Rob HoganTwiddle with the colors
2023-08-31 Rob HoganAdd fancy font for logo
2023-08-30 Rob HoganFix up help panel
2023-08-27 Rob HoganTry doing without the input pane
2023-08-27 Rob HoganMake help bar slightly taller
2023-08-26 Rob HoganRework files display
2023-08-25 Rob HoganTwiddle help bar again
2023-08-20 Robert HoganMake the tips permanent on top again
2022-11-06 Robert HoganAdd help panel
2022-11-06 Robert HoganMake position of tips consistent
2022-11-06 Robert HoganUpdate help to update every time you make a move
2022-10-30 Robert HoganChange help line, it's ugly
2022-10-29 Robert HoganAdjust height of help again
2022-10-29 Robert HoganMore fiddling with help menu
2022-10-29 Robert HoganAdd a stoopid banner
2022-10-24 Robert HoganAdd navigation between panes
2022-10-23 Robert HoganAdd a help bar at the top
2022-04-23 Robert HoganAdd a copy/paste button to files
2022-04-18 Robert HoganRudimentary loading screen
2022-04-18 Robert HoganFix file tip
2022-04-15 Robert HoganResize pipes once we run out of room
2022-04-10 Robert HoganAdd a theme for the output window
2022-04-10 Robert HoganUse blackboard as the codemirror theme
2022-04-09 Robert HoganFix up padding and size of awesomebar
2022-04-08 Robert HoganSmall fixups
2022-04-08 Robert HoganRestyle the awesome bar
2022-04-08 Robert HoganAdd a message when loading Python and R for the first...
2022-04-07 Robert HoganMove some files to assets folder
2022-04-07 Robert Hoganfix indentation in main.css
2022-04-05 Robert HoganAdd background to file tip
2022-04-04 Robert HoganDon't use visited link color
2022-04-03 Robert HoganDelete files along with pipe
2022-04-03 Robert Hoganupdate scrollbars
2022-04-03 Robert HoganClear the undo history in code mirror when navigating
2022-04-03 Robert HoganEnsure we update display before running
2022-03-29 Robert HoganChange height of input so border is visible
2022-03-29 Robert HoganFix display of awesome bar and remove tips
2022-03-25 Robert HoganAdd a worked example to the example pipeline
2022-03-24 Robert HoganAdd file support
2022-03-19 Robert HoganAdd pipes to awesome bar
2022-03-19 Robert HoganAdd some tips to awesomebar
2022-03-14 Robert HoganInitial commit