85 Commits (5a31c5cd158bce697e1176d8e547236cae97de5a)

Author	SHA1	Message	Date
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 ... On Firefox the element with "dragbar" ID covers 90% of the element with "input" ID scroll bar. So it is really hard to drag the scroll bar. I recommend to change in the #dragbar CSS element the Width from 1em to 0.5em.	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" ... This reverts commit 6273b6188d.	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