diff --git a/compile_server/app/static/common.css b/compile_server/app/static/common.css new file mode 100644 index 0000000..c767fc6 --- /dev/null +++ b/compile_server/app/static/common.css @@ -0,0 +1,5 @@ +.editor_container{ + width: 60%; + height: 30em; + border: 1px solid #ddd; +} diff --git a/langserv.gpr b/langserv.gpr index 61d59f0..db05ff5 100644 --- a/langserv.gpr +++ b/langserv.gpr @@ -1,9 +1,12 @@ project langserv is - for Languages use ("Python", "Text"); + for Languages use ("Python", "Text", "HTML", "javascript", "css"); package Naming is for Implementation_Suffix ("Text") use ".txt"; + for Implementation_Suffix ("HTML") use ".txt"; + for Implementation_Suffix ("javascript") use ".js"; + for Implementation_Suffix ("css") use ".css"; end Naming; for Source_Dirs use (-- The django base @@ -17,7 +20,13 @@ project langserv is "compile_server/app/management/commands", -- Some design docs - "design" + "design", + + -- The static resources + "compile_server/app/static/", + + -- The HTML templates + "compile_server/app/templates/**" );