Commit Graph

40 Commits (d443252c8c543607be3795fbece767ef1dff421a)

Author SHA1 Message Date
Alex Beregszaszi 346eb589a9 Fix border-button -> border-color 8 years ago
Alex Beregszaszi 8b3637015a Fix 0px -> 0 in css 8 years ago
Alex Beregszaszi cbb75404f3 Make buttons in settingsView look the same as in publishView 8 years ago
yann300 c33a671148 add sourceHighlighter 8 years ago
Alex Beregszaszi 798c6443db Show a disabled Create button for abstract contracts 8 years ago
Alex Beregszaszi 067b01e51c css: consistency fixes 8 years ago
Alex Beregszaszi e40656087f udapp: css consistency fixes 8 years ago
Alex Beregszaszi 0312c5beea udapp: add more spacing to the legend 8 years ago
Alex Beregszaszi 2550f3f11c udapp: enable legend 8 years ago
Alex Beregszaszi 2ad4b6a128 udapp: remove disabled code 8 years ago
Alex Beregszaszi 7f92fe9349 CSS: remove empty declaration 8 years ago
Alex Beregszaszi 941b9ca2eb CSS: remove duplicate properties 8 years ago
yann300 a82aa3b716 ui changes 8 years ago
yann300 b09522c236 reset vm state instead of creating a new instance 8 years ago
chriseth 519dbe2d4a Provide formal verification input. 8 years ago
yann300 16b214ca41 remix int 8 years ago
iFA 2c10a3189e Fix dargbar width 8 years ago
Denton Liu 8e01a0b90b Added upload button 9 years ago
Denton Liu b994ba7b80 Made formatting consistent 9 years ago
Denton Liu b47aa35045 Revert "Corrected whitespace issues" 9 years ago
Denton Liu 6273b6188d Corrected whitespace issues 9 years ago
chriseth 810b340c48 Copy files over to another instance. 9 years ago
d11e9 7c7f015d6a make udapp instance match color scheme 9 years ago
d11e9 9a380295e1 fix gist loading and publish text 9 years ago
d11e9 4ff4c86493 fix scroller styling 9 years ago
d11e9 cf7ac73156 fix file tab navigation to allow many files 9 years ago
chriseth 2c17b7a230 Fix strange font weight. 9 years ago
chriseth 6ce40e266e Link to documentation. 9 years ago
d11e9 8e2be15200 colour tweak 9 years ago
d11e9 1c67c2d128 add gist loading documentation 9 years ago
d11e9 83fb09b810 finishup header changes 9 years ago
d11e9 ec6dc3928a fix logo - return to white bg 9 years ago
d11e9 2c66706000 tx panel 9 years ago
d11e9 79d210b303 wiring txorigin into select dropdown 9 years ago
d11e9 b4c0f0561b awesomeify the header 9 years ago
d11e9 91dd2935ea tiny css tweak to udapp close x font 9 years ago
d11e9 74814c9801 add icon font 9 years ago